Cryptographic hash functions using elliptic polynomial cryptography

ABSTRACT

The cryptographic hash functions using of elliptic polynomial polynomials are based on the elliptic polynomial discrete logarithm problem, which is well known as a computationally hard problem. The hash functions are based on the elliptic polynomial equation in their generation, where different elliptic polynomials are used for different blocks of the same plain text. Particularly, the hash functions use an elliptic polynomial with more than one independent x-coordinate. More specifically, a set of elliptic polynomial points are used that satisfy an elliptic polynomial equation with more than one independent x-coordinate which is defined over a finite field F.

BACKGROUND OF THE INVENTION

1. Field of the Invention

The present invention relates to encrypted data communications in computer networks or other electronic communications, and in particular, to cryptographic hash functions using elliptic polynomial cryptography.

2. Description of the Related Art

Cryptographic hash functions have many applications in electronic communications over a computer network. Such hash functions are sometimes referred to as “cryptographic checksums.” The cryptographic hash functions compresses a plaintext message of any length to a message digest (number) or hash value of fixed bit length. The hash value can then be encrypted with a secret key and sent with the plaintext or encrypted plaintext message. The receiver of the communication can apply the same hash function to the received message compute a hash value and apply the secret key to decrypt the received hash value. If the hash value computed for the received message is the same as the decrypted hash value, the genuineness and authenticity of the message are confirmed.

Since the hash value is much shorter and therefore quicker to encrypt than the complete plaintext message, hash functions are often used for digital signatures. Hash functions may also be used to encrypt messages, and are sometimes used for verification of passwords, e.g., in UNIX systems, and in various other cryptographic applications for electronic communications.

Hash functions should meet certain requirements to ensure security. It should be possible to compute the message digest or hash value quickly. Hash functions should be deterministic, i.e., the message m and hash function H should produce one and only one hash value y=H(m). A hash function should be a one-way function, i.e., given a message m and a hash function H so that the hash value or message digest y=H(m), it should be computationally infeasible to reconstruct the message m from the hash value y; indeed, given the hash value y, it should be computationally infeasible to find any message m′ so that hash function H produces y=H(m′) (preimage resistance). Further, it should be computationally infeasible to find two messages m₁≠m₂ so that hash function H produces H(m₁)=H(m₂) (weakly collision-free or second preimage resistant). For some applications, it is also desirable that it be computationally infeasible to find any two messages so that H(m₇)=H(m₂) (strongly collision-free).

The most commonly used hash functions include the MDx class, such as MD5, the SHA class, including SHA-1, and the RIPEMD function, e.g., the RIPEMD-160 hash function. Such hash functions rely upon sequential and iterated structures, block ciphers, or computationally hard problems involving integer factorization. Recently, however, concerns have been raised concerning the security of such hash functions, as successful attacks on either the overall hash function or the compression function, or collisions with the hash values, have been reported.

Thus, cryptographic hash functions using elliptic polynomial cryptography solving the aforementioned problems is desired.

SUMMARY OF THE INVENTION

The cryptographic hash functions using elliptic polynomial cryptography are based on the elliptic polynomial discrete logarithm problem. It is well known: that an elliptic polynomial discrete logarithm problem is a computationally hard problem.

The hash functions to be described below are based on the elliptic polynomial equation in their generation, where different elliptic polynomials are used for different blocks of the same plaintext. Particularly, the hash functions use an elliptic polynomial with more than one independent x-coordinate. More specifically, a set of elliptic polynomial points are used which satisfy an elliptic polynomial equation with more than one independent x-coordinate which is defined over a finite field F having the following properties: One of the variables (the y-coordinate) has a maximum degree of two, and appears on its own in only one of the monomials; the other variables (the x-coordinates) have a maximum degree of three, and each must appear in at least one of the monomials with a degree of three; and all monomials which contain x-coordinates must have a total degree of three.

The group of points of the elliptic polynomial with the above form is defined over additions in the extended dimensional space and, as will be described in detail below, the inventive method makes use of elliptic polynomial hopping where different elliptic polynomials are used for different blocks of the same plaintext.

The method of generating hash functions for elliptic polynomial cryptography includes the steps of: (a) generating a set, of hash function parameters, including: (b) establishing a two-dimensional Cartesian coordinate system having orthogonal coordinates x and y, establishing natural numbers n and N, wherein a message string to be encrypted is divided into N bit strings, and establishing a finite field F, an elliptic polynomial EC and a twist of the elliptic polynomial TEC; (c) specifying values of nx and ny, and a set of coefficients a_(1k), a_(2kl), a_(3k), c_(1lki), c_(2kl), c_(3kli), b_(1l), b_(2lk), b_(3lk), b_(4k), b_(c)∈F, along with a base point on an elliptic polynomial (x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B))∈EC^(xn+ny+2) and a base point on the twist of the elliptic polynomial (x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB))∈TEC^(xn+ny+2); (d) disclosing the values of nx and ny, the set of coefficients, the base point on the elliptic polynomial and the base point on the twist as public information; (e) selecting a pair of random number scalars k₁, k₂ which are kept secret for a specific hash function to be used; (f) computing the multiplication of the scalar k₁ with a point (x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B)) to obtain a scalar multiplication such that (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu))=k₁(x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B)); (g) computing the multiplication of the scalar k₂ with a point (x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB)) to obtain a scalar multiplication such that (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu))=k₁(x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB)); (h) disclosing the scalar multiplication points (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu)) and (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu)) as public information; (i) generating a hash bit string of the message bit string, including: (j) pre-processing the message bit string to obtain a bit string which is a multiple of (nx+ny+1)N-bit; (k) computing an initial hash point (x_(0,c) ₁ , x_(1,c) ₁ , . . . , x_(nx,c) ₁ , y_(0,c) ₁ , y_(1,c) ₁ , . . . , y_(ny,c) ₁ ) on the elliptic polynomial by multiplying a scalar integer value k_(m) ₀ of the (nx+ny+1)N-bit string of an initial block of the message bit string with a point (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu)) such that:

(x_(0,c) ₁ , x_(1,c) ₁ , . . . , x_(nx,c) ₁ , y_(0,c) ₁ , y_(1,c) ₁ , . . . , y_(ny,c) ₁ )=k_(m) ₀ (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu));

(l) computing an initial hash point (x_(0,Tc) ₁ , x_(1,Tc) ₁ , . . . , x_(nx,Tc) ₁ , √{square root over ( αy_(0,Tc) ₁ , y_(1,Tc) ₁ , . . . , y_(ny,Tc) ₁ ) on the twist of the elliptic polynomial by multiplying a scalar integer value k_(m) ₁ of the (nx+ny+1)N-bit string of the next block of the message bit string with a point (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu)) such that:

(x_(0,Tc) ₁ , x_(1,Tc) ₁ , . . . , x_(nx,Tc) ₁ , √{square root over ( αy_(0,Tc) ₁ , y_(1,Tc) ₁ , . . . , y_(ny,Tc) ₁ )=k_(m) ₁ (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu));

(m) establishing integer values i and u with an initial value of i=2, and repeating the following steps n) and o) until i>u: (n) embedding a (nx+ny+1)N-bit string of the i^(th) block of the message bit string into (nx+1) x-coordinates x₀, x₁, . . . , x_(nx) and ny y-coordinates y₁, . . . , y_(ny) of the elliptic message point (x_(0,m) _(i) , x_(1,m) _(i) , . . . , x_(nx,m) _(i) , √{square root over ( α_(m) _(i) y_(0,m) _(i) , y_(1,m) _(i) , . . . , y_(ny,m) _(i) ) using non-iterative embedding; (o) if the message point of the i^(th) block is on the elliptic polynomial then computing the hash points as: (x_(0,c) _(i) , x_(1,c) _(i) , . . . , x_(nx,c) _(i) , y_(0,c) _(i) , y_(1,c) _(i) , . . . , y_(ny,c) _(i) )=(x_(0,m) _(i) , x_(1,m) _(i) , . . . , x_(nx,m) _(i) , y_(0,m) _(i) , y_(1,m) _(i) , . . . , y_(ny,m) _(i) )+(x_(0,c) _(i-1) , x_(1,c) _(i-1) , . . . , x_(nx,c) _(i-1) , y_(0,c) _(i-1) , y_(1,c) _(i) , . . . , x_(ny,c) _(i-1) ) and (x_(0,Tc) _(i) , x_(1,Tc) _(i) , . . . , x_(nx,Tc) _(i) , √{square root over ( αy_(0,Tc) _(i) , y_(1,Tc) _(i) , . . . , y_(ny,Tc) _(i) )=(x_(0,Tc) _(i-1) , x_(1,Tc) _(i-1) , . . . , x_(nx,Tc) _(i-1) , √{square root over ( αy_(0,Tc) _(i-1) , y_(1,Tc) _(i-1) , . . . , x_(ny,Tc) _(i-1) ), otherwise, computing the hash points as:

(x _(0,Tc) _(i) , x _(1,Tc) _(i) , . . . , x _(nx,Tc) _(i) , √{square root over ( αy _(0,Tc) _(i) , y _(1,Tc) _(i) , . . . , y _(ny,Tc) _(i) )=(x _(0,m) _(i) , x _(1,m) _(i) , . . . , x _(nx,m) _(i) , √{square root over ( αy _(0,m) _(i) , y _(1,m) _(i) , . . . , y _(ny,m) _(i) )+(x _(0,Tc) _(i-1) , x _(1,Tc) _(i-1) , . . . , x _(nx,Tc) _(i-1) , √{square root over ( αy _(0,Tc) _(i-1) , y _(1,Tc) _(i-1) , . . . , x _(ny,Tc) _(i-1) )

and

(x_(0,c) _(i) , x_(1,c) _(i) , . . . , x_(nx,c) _(i) , y_(0,c) _(i) , y_(1,c) _(i) , . . . , y_(ny,c) _(i) )=(x_(0,c) _(i-1) , x_(1,c) _(i-1) , . . . , x_(nx,c) _(i-1) , y_(0,c) _(i-1) , y_(1,c) _(i) , . . . , x_(ny,c) _(i-1) )

and (p) concatenating the appropriate bits of the x-coordinates x_(0,c), x_(1,c), . . . , x_(nx,c), the y-coordinates y_(1,c), . . . , y_(nx,c) and a sign bit of y_(0,c) of the hash point (x_(0,c) _(u) , x_(1,c) _(u) , . . . , x_(nx,c) _(u) , y_(0,c) _(u) , y_(1,c) _(u) , . . . , y_(ny,c) _(u) ), and the appropriate bits of the x-coordinates x_(0,Tc, x) _(1,Tc, . . . , x) _(nx,Tc), the y-coordinates y_(1,Tc, . . . , y) _(ny,Tc) and a sign bit of y_(0,Tc) of the hash point (x_(0,Tc) _(u) , x_(1,Tc) _(u) , . . . , x_(nx,Tc) _(u) , √{square root over ( αy_(0,Tc) _(u) , y_(1,Tc) _(u) , . . . , y_(ny,Tc) _(u) ) to form the hash bit string.

These and other features of the present invention will become readily apparent upon further review of the following specification and drawings.

DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS

The cryptographic hash functions using elliptic polynomial cryptography are based on the elliptic polynomial discrete logarithm problem. It is well known that an elliptic polynomial discrete logarithm problem is a computationally hard problem, as described above.

The hash functions to be described below are based on the elliptic polynomial equation in their generation, where different elliptic polynomials are used for different blocks of the same plaintext. Particularly, the hash functions use an elliptic polynomial with more than one independent x-coordinate. More specifically, a set of elliptic polynomial points are used which satisfy an elliptic polynomial equation with more than one independent x-coordinate which is defined over a finite field F having the following properties: One of the variables (the y-coordinate) has a maximum degree of two, and appears on its own in only one of the monomials; the other variables (the x-coordinates) have a maximum degree of three, and each must appear in at least one of the monomials with a degree of three; and all monomials which contain x-coordinates must have a total degree of three.

The group of points of the elliptic polynomial with the above form is defined over additions in the extended dimensional space and, as will be described in detail below, the inventive method makes use of elliptic polynomial hopping where different elliptic polynomials are used for different blocks of the same plaintext.

The particular advantage of using elliptic polynomial cryptography with more than one x-coordinate is that additional x-coordinates are used to embed extra message data bits in a single elliptic point that satisfies the elliptic polynomial equation. Given that nx additional x-coordinates are used, with nx being greater than or equal to one, a resulting elliptic point has (nx+1) x-coordinates, where all coordinates are elements of the finite field F. The number of points which satisfy an elliptic polynomial equation with nx additional x-coordinates defined over F and which can be used in the corresponding cryptosystem is increased by a factor of (#f)^(nx), where # denotes the size of a field.

Through the use of this particular method, security is increased through the usage of different elliptic polynomials for different message blocks during the generation of a message hash. Further, each elliptic polynomial used for each message block is selected at random, preferably using an initial value and a random number generator.

Given the form of the elliptic polynomial equation described above, the elliptic polynomial and its twist are isomorphic with respect to one another. The inventive method uses an embedding technique, to be described in greater detail below, which allows the embedding of a bit string into the x-coordinates of an elliptic polynomial point in a deterministic and non-iterative manner when the elliptic polynomial has the above described form. This embedding method overcomes the disadvantage of the time overhead of the iterative embedding methods used in existing elliptic polynomial.

The difficulty of using conventional elliptic polynomial cryptography to develop hash functions typically lies in the iterative and non-deterministic method needed to embed a bit string into an elliptic polynomial point, which has the drawback of the number of iterations needed being different for different bit strings which are being embedded. As a consequence, different hash times are required for different blocks of bit strings. Such a data-dependant generation time is not suitable for generating hash functions, which require data independent encryption time. Further, with regard to iterative and non-deterministic methods in conventional elliptic polynomial cryptography, given an elliptic polynomial defined over a finite field that needs N-bits for the representation of its elements, only ((nx+ny+1)N−L) bits of the message data bits can be embedded in any elliptic polynomial point.

The isomorphic relationship between an elliptic polynomial and its twist, which is obtained as a result of the given form of the elliptic polynomial equation, ensures that any bit string whose equivalent binary value is an element of the underlying finite field has a bijective relationship between the bit string and a point which is either on the elliptic polynomial or its twist. This bijective relationship allows for the development of the elliptic polynomial hopping based hash functions to be described below.

In the conventional approach to elliptic polynomial cryptography, the security of the resulting cryptosystem relies on breaking the elliptic polynomial discrete logarithm problem, which can be summarized as: given the points k(x_(0,B), x_(1,B), . . . , x_(nx,B), y_(B)) and (x_(0,B), x_(1,B), . . . , x_(nx,B), y_(B)), find the scalar k.

As will be described below, different elliptic polynomials are used for each block of the message data, where each elliptic polynomial used for each message block is selected at random using an initial value and a random number generator. Since the elliptic polynomial used for each message block is not known, this makes the elliptic polynomial discrete logarithm problem far more difficult to solve, since the attacker does not know the elliptic polynomial coefficients that are needed in order to compute point additions and point doublings.

Further, projective coordinates are used at the sending and receiving entities in order to eliminate inversion or division during each point addition and doubling operation of the scalar multiplication. It should be noted that all of the elliptic polynomial cryptography-based hash functions disclosed herein are scalable.

In the following, with regard to elliptic polynomials, the “degree” of a variable u^(i) is simply the exponent i. A polynomial is defined as the sum of several terms, which are herein referred to as “monomials”, and the total degree of a monomial u^(i)v^(j)w^(k) is given by (i+j+k). Further, in the following, the symbol ∈ denotes set membership.

One form of the subject elliptic polynomial equation with more than one x-coordinate and one or more y-coordinates is defined as follows: the elliptic polynomial is a polynomial with more than two independent variables such that the maximum total degree of any monomial in the polynomial is three; at least two or more of the variables, termed the x-coordinates, have a maximum degree of three, and each must appear in at least one of the monomials with a degree of three; and at least one or more variables, termed the y-coordinates, have a maximum degree of two, and each must appear in at least one of the monomials with a degree of two.

Letting S_(nx) represents the set of numbers from 0 to nx (i.e., S_(nx)={0, . . . , nx}), and letting S_(ny) represents the set of numbers from 0 to ny (i.e., S_(ny)={0, . . . , ny}), and further setting (nx+ny)≧1, then, given a finite field, F, the following equation defined over F is one example of the polynomial described above:

$\begin{matrix} {{{{\sum\limits_{k \in S_{ny}}\; {a_{1k}y_{k}^{2}}} + {\sum\limits_{k,{l \in S_{ny}},{l \neq k}}\; {a_{2{kl}}y_{k}y_{l}}} + {\sum\limits_{k \in S_{ny}}\; {a_{3k}y_{k}}} + {\sum\limits_{k,{l \in S_{ny}},{i \in S_{nx}}}{c_{1{kli}}y_{k}y_{l}x_{i}}} + {\sum\limits_{{k \in S_{ny}},{l \in S_{nx}}}{c_{2{kl}}y_{k}x_{i}}} + {\sum\limits_{{k \in S_{ny}},l,{i \in S_{nx}}}{c_{3{kli}}y_{k}x_{l}x_{i}}}} = {{\sum\limits_{l \in S_{nx}}\; {b_{1l}x_{l}^{3}}} + {\sum\limits_{l,{k \in S_{nx}},{l \neq k}}\; {b_{2{lk}}x_{l}^{2}x_{k}}} + {\sum\limits_{l,{k \in S_{nx}}}\; {b_{3{lk}}x_{l}x_{k}}} + {\sum\limits_{k \in S_{nx}}\; {b_{4k}x_{k}}} + b_{c}}},} & (1) \end{matrix}$

where a_(1l), a_(2kl), a_(3k), c_(1lki), c_(2kl), c_(3kli), b_(1l), b_(2lk), b_(3lk), b_(4k) & b_(c)∈F.

Two possible examples of equation (1) are y₀ ²=x₀ ³+x₁ ³+x₀x₁ and y₀ ²+x₀x₁y₀+y₀=x₀ ³+x₁ ³+x₀ ²x₁+x₀x₁ ²+x₀x₁+x₀+x₁.

With regard to the use of the elliptic polynomial equation in the addition of points of an elliptic polynomial with more than one x-coordinate and one or more y-coordinates, we may examine specific coefficients a_(1k), a_(2kl), a_(3k), c_(1lki), c_(2kl), c_(3kli), b_(1l), b_(2lk), b_(3lk), b_(4k), b_(c)∈F for F, wherein a set of points EC^(nx+ny+2) is defined as the (nx+ny+2)-tuple (x₀, x₁, . . . , x_(nx), y₀, y₁, . . . , y_(ny)), where x_(i), y_(k)∈F, i∈S_(nx) and k∈S_(ny). This set of points are solutions of F, though excluding the point (0, 0, 0) and the point at infinity, (x_(0,l), x_(1,l), . . . , x_(nx,l), y_(1,l), . . . , y_(ny,l)).

The rules for conventional elliptic polynomial point addition may be adopted to define an additive binary operation, “+”, over EC^(nx+ny+2); i.e., for all (x_(0,1), x_(1,1), . . . , x_(nx,1), y_(0,1), y_(1,1), . . . , y_(ny,1))∈EC^(nx+ny+2) and (x_(0,2), x_(1,2), . . . , x_(nx,2), y_(0,2), y_(1,2), . . . , y_(ny,2))∈EC^(nx+ny+2), the sum, (x_(0,3), x_(1,3), . . . , x_(nx,3), y_(0,3), y_(1,3), . . . , y_(ny,3))=(x_(0,1), x_(1,1), . . . , x_(nx,1), y_(0,1), y_(1,1), . . . , y_(ny,1))+(x_(0,2), x_(1,2), . . . , x_(nx,2), y_(0,2), y_(1,2), . . . , y_(ny,2)) is also (x_(0,3), x_(1,3), . . . , x_(nx,3), y_(0,3), y_(1,3), . . . , y_(ny,3))∈EC^(nx+ny+2).

As will be described in greater detail below, (EC^(nx+ny+2), +) forms a pseudo-group (p-group) over addition that satisfies the following axioms:

(i) There exists a set (x_(0,l), x_(1,l), . . . , x_(nx,l), y_(0,l), y_(1,l), . . . , y_(ny,l))∈EC^(nx+ny+2) such that (x₀, x₁, . . . , x_(nx), y₀, y₁, . . . , y_(ny))+(x_(0,l), x_(1,l), . . . , x_(nx,l), y_(0,l), y_(1,l), . . . , y_(ny,l))=(x₀, x₁, . . . , x_(nx), y₀, y₁, . . . , y_(ny)) for all (x₀, x₁, . . . , x_(nx), y₀, y₁, . . . , y_(ny))∈EC^(nx+ny+2); (ii) for every set (x₀, x₁, . . . , x_(nx), y₀, y₁, . . . , y_(ny))∈EC^(nx+ny+2), there exists an inverse set, −(x₀, x₁, . . . , x_(nx), y₀, y₁, . . . , y_(ny))∈EC^(nx+ny+2), such that (x₀, x₁, . . . , x_(nx), y₀, y₁, . . . , y_(ny))−(x₀, x₁, . . . , x_(nx), y₀, y₁, . . . , y_(ny))=; (x_(0,l), x_(1,l), . . . , x_(nx,l), y_(0,l), y_(1,l), . . . , y_(ny,l)); (iii) the additive binary operation in (EC^(nx+ny+2), +) is commutative, and the p-group (EC^(nx+ny+2), +) forms a group over addition when; (iv) the additive binary operation in (EC^(nx+ny+2), +) is associative.

Prior to a more detailed analysis of the above axioms, the concept of point equivalence must be further developed. Mappings can be used to indicate that an elliptic point represented using (nx+1) x-coordinates and (ny+1) y-coordinates, (x₀, x₁, . . . , x_(nx), y₀, y₁, . . . , y_(ny)), is equivalent to one or more elliptic points that satisfy the same elliptic polynomial equation, including the equivalence of an elliptic point to itself.

Points that are equivalent to one another can be substituted for each other at random, or according to certain rules during point addition and/or point doubling operations. For example, the addition of two points and (x_(0,1), x_(1,1), . . . , x_(nx,1), y_(0,1), y_(1,1), . . . , y_(ny,1)) and (x_(0,2), x_(1,2), . . . , x_(nx,2), y_(0,2), y_(1,2), . . . , y_(ny,2)) is (x_(0,3), x_(1,3), . . . , x_(nx,3), y_(0,3), y_(1,3), . . . , y_(ny,3))=(x_(0,2), x_(1,2), . . . , x_(nx,2), y_(0,2), y_(1,2), . . . , y_(ny,2)) is given by (x_(0,3), x_(1,3), . . . , x_(nx,3), y_(0,3), y_(1,3), . . . , y_(ny,3))=(x_(0,1), x_(1,1), . . . , x_(nx,1), y_(0,1), y_(1,1), . . . , y_(ny,1))+(x_(0,2), x_(1,2), . . . , x_(nx,2), y_(0,2), y_(1,2), . . . , y_(ny,2))

If the point (x_(0,1)″, x_(1,1)″, . . . , x_(nx,1)″, y_(0,1)″, y_(1,1)″, . . . , y_(ny,1)″) is equivalent to the point (x_(0,1), x_(1,1), . . . , x_(nx,1), y_(0,1), y_(1,1), . . . , y_(ny,1)), then the former can be substituted for (x_(0,1), x_(1,1), . . . , x_(nx,1), y_(0,1), y_(1,1), . . . , y_(ny,1)) in the above equation in order to obtain (x_(0,3), x_(1,3), . . . , x_(nx,3), y_(0,3), y_(1,3), . . . , y_(ny,3))=(x_(0,1)″, x_(1,1)″, . . . , x_(nx,1)″, y_(0,1)″, y_(1,1)″, . . . , y_(ny,1)″)+(x_(0,2), x_(1,2), . . . , x_(nx,2), y_(0,2), y_(1,2), . . . , y_(ny,2)).

Mappings that are used to define equivalences can be based on certain properties that exist in elliptic polynomial equations, such as symmetry between variables. As an example, we consider the point (x₀, x₁, y₀) that satisfies the equation y₀ ²=x₀ ³+x₁ ³+x₀x₁. The equivalent of this point may be defined as (x₁, x₀, −y₀).

With regard to the addition rules for (EC^(nx+ny+2), +), the addition of two points (x_(0,1), x_(1,1), . . . , x_(nx,1), y_(0,1), y_(1,1), . . . , y_(ny,1))∈EC^(nx+ny+2) and (x_(0,2), x_(1,2), . . . , x_(nx,2), y_(0,2), y_(1,2), . . . , y_(ny,2))∈EC^(nx+ny+2), or (x_(0,3), x_(1,3), . . . , x_(nx,3), y_(0,3), y_(1,3), . . . , y_(ny,3))=(x_(0,1), x_(1,1), . . . , x_(nx,1), y_(0,1), y_(1,1), . . . , y_(ny,1))+(x_(0,2), x_(1,2), . . . , x_(nx,2), y_(0,2), y_(1,2), . . . , y_(ny,2)) is calculated in the following: First, a straight line is drawn which passes through the two points to be added. The straight line intersects EC^(nx+ny+2) at a third point, which we denote (x_(0,3)′, x_(1,3)′, . . . , x_(nx,3)′, y_(0,3)′, y_(1,3)′, . . . , y_(ny,3)′)∈EC^(xn+ny+2). The sum point is defined as (x_(0,3), x_(1,3), . . . , x_(nx,3), y_(0,3), y_(1,3), . . . , y_(ny,3))=−(x_(0,3)′, x_(1,3)′, . . . , x_(nx,3)′, y_(0,3)′, y_(1,3)′, . . . , y_(ny,3)′).

From the above definition of the addition rule, addition over EC^(nx+ny+2) is commutative, i.e., (x_(0,1), x_(1,1), . . . , x_(nx,1), y_(0,1), y_(1,1), . . . , y_(ny,1))+(x_(0,2), x_(1,2), . . . , x_(nx,2), y_(0,2), y_(1,2), . . . , y_(ny,2))=(x_(0,2), x_(1,2), . . . , x_(nx,2), y_(0,2), y_(1,2), . . . , y_(ny,2))+(x_(0,1), x_(1,1), . . . , x_(nx,1), y_(0,1), y_(1,1), . . . , y_(ny,1)) for all (x_(0,1), x_(1,1), . . . , x_(nx,1), y_(0,1), y_(1,1), . . . , y_(ny,1))∈EC^(nx+ny+2) and (x_(0,2), x_(1,2), . . . , x_(nx,2), y_(0,2), y_(1,2), . . . , y_(ny,2))∈EC^(nx+ny+2). This commutivity satisfies axiom (iii) above.

There are two primary cases that need to be considered for the computation of point addition for (EC^(xn+ny+2)):

A. For at least one j∈S_(nx), x_(j,1)≠x_(j,2); and

B. for all j∈S_(nx), x_(j,1)=x_(j,2)=x_(j,o)

Case B includes three sub-cases:

i. for all k∈S_(ny)y_(k,1)=y_(k,2), i.e., (x_(0,1), x_(1,1), . . . , x_(nx,1), y_(0,1), y_(1,1), . . . , y_(ny,1))=(x_(0,2), x_(1,2), . . . , x_(nx,2), y_(0,2), y_(1,2), . . . , y_(ny,2)), which corresponds to point doubling;

ii. for k∈S_(ny)& k≠0, y_(k,1)=y_(k,2), and where y_(0,1) & y_(0,2) are the roots of the following quadratic equation in y₀:

${{{a_{10}y_{0}^{2}} + {\sum\limits_{{k \in S_{ny}},{k \neq 0}}\; {a_{1k}y_{k,1}^{2}}} + {y_{0}\left\{ {{\sum\limits_{{k \in S_{ny}},{k \neq 0}}\; {a_{2k\; 0}y_{k,1}}} + {\sum\limits_{{l \in S_{ny}},{l \neq 0}}\; {a_{20l}y_{l,1}}}} \right\}} + {\sum\limits_{k,{l \in S_{ny}},{l \neq k},{{{l\&}k} \neq 0}}\; {a_{2{kl}}y_{k,1}y_{l,1}}} + {a_{30}y_{0}} + {\sum\limits_{{k \in S_{ny}},{k \neq 0}}\; {a_{3k}y_{k,1}}} + {y_{0}^{2}{\sum\limits_{i \in S_{nx}}\; {c_{100i}x_{i,1}}}} + {y_{0}\left\{ {{\sum\limits_{{k \in S_{ny}},{i \in S_{nx}}}\; {c_{1k\; 0i}y_{k,1}x_{i,1}}} + {\sum\limits_{{l \in S_{ny}},{i \in S_{nx}}}\; {c_{10{li}}y_{l,1}x_{i,l}}}} \right\}} + {\sum\limits_{k,{l \in S_{ny}},{{{l\&}k} \neq 0},{i \in S_{nx}}}{c_{1{kli}}y_{k,1}y_{l,1}x_{i,1}}} + {y_{0}{\sum\limits_{l \in S_{nx}}\; {c_{20l}x_{l,1}}}} + {\sum\limits_{{k \in S_{ny}},{k \neq 0},{l \in S_{nx}}}\; {c_{2{kl}}y_{k,1}x_{l,1}}} + {y_{0}{\sum\limits_{l,{i \in S_{nx}}}\; {c_{30{li}}x_{l,1}x_{i,l}}}} + {\sum\limits_{{k \in S_{ny}},{k \neq 0},l,{i \in S_{nx}}}\; {c_{3{kli}}y_{k,1}x_{l,1}x_{i,1}}}} = {{\sum\limits_{l \in S_{nx}}\; {b_{1l}x_{l,1}^{3}}} + {\sum\limits_{l,{k \in {{S_{nx}l} \neq k}}}\; {b_{2{lk}}x_{l,1}^{2}x_{k,1}}} + {\sum\limits_{l,{k \in S_{nx}}}\; {b_{3{lk}}x_{l,1}x_{k,1}}} + {\sum\limits_{k \in S_{nx}}\; {b_{4}x_{k,1}}} + b_{c}}},$

which corresponds to point inverse; and

iii. all other conditions except those in Cases B.i and B.ii. This case occurs only when ny is greater than or equal to one.

For Case A, for at least one j∈S_(nx)x_(j,1)=x_(j,2), a straight line in (nx+ny+2)-dimensional space is defined by

${\frac{y_{k} - y_{k,1}}{y_{k,2} - y_{k,1}} = \frac{x_{j} - x_{j,1}}{x_{j,2} - x_{j,1}}},$

k∈S_(ny) and j∈S_(nx) and

${\frac{x_{i} - x_{i,1}}{x_{i,2} - x_{i,1}} = \frac{x_{j} - x_{j,1}}{x_{j,2} - x_{j,1}}},$

i≠j, i∈S_(nx).

For this case, y_(k)=m_(yk)x_(j)+c_(yk), where

$m_{yk} = \frac{y_{k,2} - y_{k,1}}{x_{j,2} - x_{j,1}}$

and c_(yk)=y_(k,1)−x_(j,1)m_(yk). Further, x_(i)=m_(xi)x_(j)+c_(xi), where

$m_{xi} = \frac{x_{i,2} - x_{i,1}}{x_{j,2} - x_{j,1}}$

and c_(xi)=x_(x,1)−x_(j,1)m_(xi). Equation (1) can then be re-written as

${{{\sum\limits_{k \in S_{ny}}\; {a_{1k}y_{k}^{2}}} + {\sum\limits_{k,{l \in S_{ny}},{l \neq k}}\; {a_{2{kl}}y_{k}y_{l}}} + {\sum\limits_{k \in S_{ny}}\; {a_{3k}y_{k}}} + {x_{j}{\sum\limits_{k,{l \in S_{ny}}}\; {c_{1{klj}}y_{k}y_{l}}}} + {\sum\limits_{k,{l \in S_{ny}},{i \in S_{nx}},{i \neq j}}{c_{1{kli}}y_{k}y_{l}x_{i}}} + {x_{j}{\sum\limits_{k \in S_{ny}}\; {c_{2{kj}}y_{k}}}} + {\sum\limits_{{k \in S_{ny}},{l \in S_{nx}},{l \neq j}}\; {c_{2{kl}}y_{k}x_{l}}} + {x_{j}^{2}{\sum\limits_{k \in S_{ny}}\; {c_{3{kjj}}y_{k}}}} + {x_{j}{\sum\limits_{{k \in S_{ny}},{l \in S_{nx}},{l \neq j}}\; {c_{3{klj}}y_{k}x_{l}}}} + {x_{j}{\sum\limits_{{k \in S_{ny}},{i \in S_{nx}},{i \neq j}}\; {c_{3{kji}}y_{k}x_{i}}}} + {\sum\limits_{{k \in S_{ny}},l,{i \in S_{nx}},{{{l\&}i} \neq j}}\; {c_{3{kli}}y_{k}x_{l}x_{i}}}} = {{b_{1j}x_{j}^{3}} + {\sum\limits_{{l \in S_{nx}},{l \neq j}}\; {b_{1l}x_{l}^{3}}} + {x_{j}^{2}{\sum\limits_{{k \in S_{nx}},{k \neq j}}\; {b_{2{jk}}x_{k}}}} + {x_{j}{\sum\limits_{{l \in S_{nx}},{l \neq j}}\; {b_{2{lj}}x_{l}^{2}}}} + {\sum\limits_{l,{k \in S_{nx}},l,{k \neq j},{l \neq j}}\; {b_{2{lk}}x_{l}^{2}x_{k}}} + {b_{3{jj}}x_{j}^{2}} + {x_{j}{\sum\limits_{{k \in S_{nx}},{k \neq j}}\; {b_{3{jk}}x_{k}}}} + {x_{j}{\sum\limits_{{l \in S_{nx}},{l \neq j}}\; {b_{3{lj}}x_{l}}}} + {\sum\limits_{l,{k \in S_{nx}},l,{k \neq j}}\; {b_{3{lk}}x_{l}x_{k}}}}},$

and substitution of

${{+ b_{4j}}x_{j}} + {\sum\limits_{{k \in S_{nx}},{k \neq j}}\; {b_{4k}x_{k}}} + b_{c}$

the above into the rewritten equation (1) for y_(k), k∈S_(ny) and x_(i), i∈S_(ny) & i≠j, results in

${{\sum\limits_{k \in S_{ny}}\; {a_{1k}\left( {{m_{yk}x_{j}} + c_{yk}} \right)}^{2}} + {\sum\limits_{k,{l \in S_{ny}},{l \neq k}}\; {{a_{2{kl}}\left( {{m_{yk}x_{j}} + c_{yk}} \right)}\left( {{m_{yl}x_{j}} + c_{yl}} \right)}} + {\sum\limits_{k \in S_{ny}}\; {a_{3k}\left( {{m_{yk}x_{j}} + c_{yk}} \right)}} + {x_{j}{\sum\limits_{k,{l \in S_{ny}}}\; {{c_{1{klj}}\left( {{m_{yk}x_{j}} + c_{yk}} \right)}\left( {{m_{yl}x_{j}} + c_{yl}} \right)}}} + {\sum\limits_{k,{l \in S_{ny}},{i \in S_{nx}},{i \neq j}}{{c_{1{kli}}\left( {{m_{yk}x_{j}} + c_{yk}} \right)}\left( {{m_{yl}x_{j}} + c_{yl}} \right)\left( {{m_{xi}x_{j}} + c_{xi}} \right)}} + {x_{j}{\sum\limits_{k \in S_{ny}}\; {c_{2{kj}}\left( {{m_{yk}x_{j}} + c_{yk}} \right)}}} + {\sum\limits_{{k \in S_{ny}},{l \in S_{nx}},{l \neq j}}\; {{c_{2{kl}}\left( {{m_{yk}x_{j}} + c_{yk}} \right)}\left( {{m_{xl}x_{j}} + c_{xl}} \right)}} + {x_{j}^{2}{\sum\limits_{k \in S_{ny}}\; {c_{3{kjj}}\left( {{m_{yk}x_{j}} + c_{yk}} \right)}}} + {x_{j}{\sum\limits_{{k \in S_{ny}},{l \in S_{nx}},{l \neq j}}\; {{c_{3{klj}}\left( {{m_{yk}x_{j}} + c_{yk}} \right)}\left( {{m_{xl}x_{j}} + c_{xl}} \right)}}} + {x_{j}{\sum\limits_{{k \in S_{ny}},{i \in S_{nx}},{i \neq j}}\; {{c_{3{klji}}\left( {{m_{yk}x_{j}} + c_{yk}} \right)}\left( {{m_{xi}x_{j}} + c_{xi}} \right)}}} + {\sum\limits_{{k \in S_{ny}},l,{i \in S_{nx}},{{{l\&}i} \neq j}}\; {{c_{3{kli}}\left( {{m_{yk}x_{j}} + c_{yk}} \right)}\left( {{m_{xl}x_{j}} + c_{xl}} \right)\left( {{m_{xi}x_{j}} + c_{xi}} \right)}}} = {{b_{1j}x_{j}^{3}} + {\sum\limits_{{l \in S_{nx}},{l \neq j}}\; {b_{1l}\left( {{m_{xl}x_{j}} + c_{l}} \right)}^{3}} + {x_{j}^{2}{\sum\limits_{{k \in S_{nx}},{k \neq j}}\; {b_{2{jk}}\left( {{m_{xk}x_{j}} + c_{xk}} \right)}}} + {x_{j}{\sum\limits_{{l \in S_{nx}},{l \neq j}}\; {b_{2{lj}}\left( {{m_{xl}x_{j}} + c_{xl}} \right)}^{2}}} + {\sum\limits_{l,{k \in S_{nx}},{{{l\&}k} \neq j},{l \neq j}}\; {{b_{2{lk}}\left( {{m_{xl}x_{j}} + c_{xl}} \right)}^{2}\left( {{m_{xk}x_{j}} + c_{xk}} \right)}} + {b_{3{jj}}x_{j}^{2}} + {x_{j}{\sum\limits_{{k \in S_{nx}},{k \neq j}}\; {b_{3{jk}}\left( {{m_{xk}x_{j}} + c_{xk}} \right)}}} + {x_{j}{\sum\limits_{l,{k \in S_{nx}},{l \neq j}}\; {b_{3{lj}}\left( {{m_{xl}x_{j}} + c_{xl}} \right)}}} + {\sum\limits_{l,{k \in S_{nx}},{{{l\&}k} \neq j}}\; {{b_{3{lk}}\left( {{m_{xl}x_{j}} + c_{xl}} \right)}\left( {{m_{xk}x_{j}} + c_{xk}} \right)}} + {b_{4j}x_{j}{\sum\limits_{{k \in S_{nx}},{k \neq j}}\; {a_{6k}\left( {{m_{xk}x_{j}} + c_{xk}} \right)}}} + {b_{c}.}}$

Expanding the terms in the above equation leads to a cubic equation in x_(j), C₃c_(j) ³+C₂c_(j) ²+C₁x_(j)+C₀=0, where C₃, C₂, C₁ & C₀ are obtained from the above equation.

Assuming C₃≠0, the above cubic equation in x_(j) has three roots x_(j,1), x_(j,2), & x_(j,3)′ and can be written as (x_(j)−_(j,1))(x_(j)−x_(j,2))(x_(j)−x_(j,3)′)=0. Normalizing by the coefficient of x³ and equating the coefficients of x² in the resulting equation with that in (x_(j)−x_(j,1))(x_(j)−x_(j,2))(x_(j)−x_(j,3)′)=0, one obtains a solution for x_(j,3)′:

$\begin{matrix} {x_{j,3}^{\prime} = {\frac{- C_{2}}{C_{3}} - x_{j,1} - {x_{j,2}.}}} & (2) \end{matrix}$

The values of y_(k,3)′, k∈S_(ny), and x_(i,3)′, i∈S_(nx) & i≠j, may be similarly obtained from equations for x_(j)=x_(j,3)′.

For cases where C₃=0, C₃x_(j) ³+C₂x_(j) ²+C₁x_(j)+C₀=0 becomes a quadratic equation. Such quadratic equations may be used in the definition of point equivalences.

With regard to Case B for all j∈S_(nx), x_(j,1)=x_(j,2), the three sub-cases are considered below. In all cases, x_(j,o) is defined as x_(j,o)=x_(j,1)=x_(j,2), j∈S_(nx).

For Case B.i., all k∈S_(ny), V_(k,1)=y_(k,2), which corresponds to point doubling. In this case, (x_(0,1), x_(1,1), . . . , x_(nx,1), y_(0,1), y_(1,1), . . . , y_(ny,1))=(x_(0,2), x_(1,2), . . . , x_(nx,2), y_(0,2), y_(1,2), . . . , y_(ny,2)). Letting

(x _(0,o) , x _(1,o) , . . . , x _(nx,o) , y _(0,o) , y _(1,o) , . . . , y _(ny,o))=(x _(0,1) , x _(1,1) , . . . , x _(nx,1) , y _(0,1) , y _(1,1) , . . . , y _(ny,1))=(x _(0,2) , x _(1,2) , . . . , x _(nx,2) , y _(0,2) , y _(1,2) , . . . , y _(ny,2))

the sum is written as

(x_(0,3), x_(1,3), . . . , x_(nx,3), y_(0,3), y_(1,3), . . . , y_(ny,3))=(x_(0,o), x_(1,o), . . . , x_(nx,o), y_(0,o), y_(1,o), . . . , y_(ny,o))+(x_(0,o), x_(1,o), . . . , x_(nx,o), y_(0,o), y_(1,o), . . . , y_(ny,o))  (3).

There are several ways of defining the addition in this case. Three possible rules are described below: Case B.i.1: Letting S_(nx,Lx) denote a subset of S_(nx) with Lx elements; i.e., S_(nx,Lx) ⊂S_(nx); letting S_(ny,Ly) denote a subset of S_(ny) with Ly elements and which does not include the element 0; i.e. S_(ny,Ly) ⊂S_(ny) and 0∉S_(ny,Ly); setting the value of Lx and Ly as at least one, then the straight line in this case can be defined as a tangent to the point (x_(0,o), x_(1,o), . . . , x_(nx,o), y_(0,o), y_(1,o), . . . , y_(ny,o)) defined in a sub-dimensional space with coordinates y_(n) and x_(m) with n∉S_(ny,Ly) and m∉S_(nx,Lx).

In this case, the gradients m_(yn) and m_(xm) of the straight line to be used in equation (2) are essentially the first derivatives of y_(n) and x_(m), n∈S_(ny,Ly) and m∈S_(nx,Lx), for F with respect to x_(j), j∈S_(nx,Lx); i.e.,

$m_{yn} = {{\frac{y_{n}}{x_{j}}\mspace{14mu} {and}\mspace{14mu} m_{xn}} = {\frac{x_{m}}{x_{j}}.}}$

Using these derivatives for the values of the gradients,

${m_{yn} = \frac{y_{n}}{x_{j}}},$

where n∈S_(ny,Ly), and

${m_{xn} = \frac{x_{m}}{x_{j}}},$

where m∈S_(nx,Lx), in equation (2) and noting that it is assumed that

${\frac{x_{m}}{x_{j}} = 0},{{{for}\mspace{14mu} m} \in {\left( {S_{nx} - S_{{nx},{Lx}}} \right)\mspace{14mu} {and}}}$ ${\frac{y_{n}}{x_{j}} = 0},{{{for}\mspace{14mu} n} \in \left( {S_{ny} - S_{{ny},{Lx}}} \right)},$

then a solution for x_(j,3)′ may be obtained.

The values of y_(n,3)′ for n∈S_(ny) and x_(m,3)′, for m∈S_(nx & m≠j), can further be obtained for x_(j)=x_(j,3)′. The choice of the x_(m)-coordinates, m∈S_(nx,Lx), and y_(n)-coordinates, n∈S_(ny,Ly), which can be used to compute the tangent of the straight line in this case may be chosen at random or according to a pre-defined rule. Further, a different choice of the x_(m)-coordinates, m∈S_(nx,Lx), and y_(n)-coordinates, n∈S_(ny,Ly), may be made when one needs to compute successive point doublings, such as that needed in scalar multiplication.

With regard to the next case, Case B.i.2, the second possible way of defining the addition of a point with itself is to apply a sequence of the point doublings according to the rule defined above in Case B.i.1, where the rule is applied with a different selection of the x-coordinate(s) and y-coordinates(s) in each step of this sequence.

In the third sub-case, Case B.i.3, a point is substituted with one of its equivalents. Letting (x_(0,oe), x_(1,oe), . . . , x_(nx,oe), y_(0,oe), y_(1,oe), . . . , y_(ny,oe)) represent the equivalent point of (x_(0,o), x_(1,o), . . . , x_(nx,o), y_(0,o), y_(1,o), . . . , y_(ny,o)), then equation (3) may be written as (x_(0,3), x_(1,3), . . . , x_(nx,3), y_(0,3), y_(1,3), . . . , y_(ny,3))=(x_(0,o), x_(1,o), . . . , x_(nx,o), y_(0,o), y_(1,o), . . . , y_(ny,o))+(x_(0,oe), x_(1,oe), . . . , x_(nx,oe), y_(0,oe), y_(1,oe), . . . , y_(ny,oe)).

With regard to Case B.ii, for k∈S_(ny) k≠0, y_(k,1)=y_(k,2), and where y_(0,1) &y_(0,2) are the roots of the quadratic equation in y₀, this case corresponds to generation of the point inverse.

Letting y_(k,1)=y_(k,2)=y_(k,o) for k∈S_(ny) & k≠0, then any two points (x_(0,o), x_(1,o), . . . , x_(nx,o), y_(0,1), y_(1,o), . . . , y_(ny,o))∈EC^(nx+ny+2) and (x_(0,o), x_(1,o), . . . , x_(nx,o), y_(0,2), y_(1,o), . . . , y_(ny,o))∈EC^(nx+ny+2) are in the hyper-plane with x_(i)=x_(i,o), i∈S_(nx) and y_(k)=y_(k,o), k∈S_(ny) & k≠0. Thus, any straight line joining these two points such that (x_(0,o), x_(1,o), . . . , x_(nx,o), y_(0,1), y_(1,o), . . . , y_(ny,o))≠(x_(0,o), x_(1,o), . . . , x_(nx,o), y_(0,2), y_(1,o), . . . , y_(ny,o))∈EC^(nx+ny+2) is also in this hyper-plane.

Substituting the values of x_(0,o), x_(1,o), . . . , x_(nx,o), y_(1,o), . . . , & y_(ny,o) in an elliptic polynomial equation with multiple x-coordinates and multiple y-coordinates, a quadratic equation for y₀ is obtained, as given above. Thus, y₀ has only two solutions, y_(0,1) & y_(0,2).

Thus, a line joining the two points (x_(0,o), x_(1,o), . . . , x_(nx,o), y_(0,1), y_(1,o), . . . , y_(ny,o))∈EC^(nx+ny+2) and (x_(0,o), x_(1,o), . . . , x_(nx,o), y_(0,2), y_(1,o), . . . , y_(ny,o))∈EC^(nx+ny+2) does not intersect with EC^(nx+ny+2) at a third point.

A line that joins these two points is assumed to intersect with EC^(nx+ny+2) at infinity (x_(0,1), x_(1,l), . . . , x_(nx,l), y_(0,1), y_(1,l), . . . , y_(ny,l))∈EC^(nx+ny+2). This point at infinity is used to define both the inverse of a point in EC^(nx+ny+2) and the identity point. According to the addition rule defined above, one can write,

(x ₀ , x ₁ , . . . , x _(nx) , y _(0,1) , y ₁ , . . . , y _(ny))+(x ₀ , x ₁ , . . . , x _(nx) , y _(0,2) , y ₁ , . . . , y _(ny))=(x _(0,l) , x _(1,l) , . . . , x _(nx,l) , y _(0,l) , y _(1,l) , . . . , y _(ny,l))  (4)

since the third point of intersection of such lines is assumed to be at infinity, (x_(0,l), x_(1,l), . . . , x_(nx,l), y_(0,l), y_(1,l), . . . , y_(ny,l))∈EC^(nx+ny+2). Thus, this equation defines a unique inverse for any point (x₀, x₁, . . . , x_(nx), y₀, y₁, . . . , y_(ny))∈EC^(nx+ny+2), namely −(x₀, x₁, . . . , x_(nx), y_(0,1), y₁, . . . , y_(ny))=(x₀, x₁, . . . , x_(nx), y_(0,2), y₁, . . . , y_(ny)).

Thus, equation (4) can be written as

(x ₀ , x ₁ , . . . , x _(nx) , y _(0,1) , y ₁ , . . . , y _(ny))−(x ₀ , x ₁ , . . . , x _(nx) , y _(0,1) , y ₁ , . . . , y _(ny))=(x _(0,l) , x _(1,l) , . . . , x _(nx,l) , y _(0,l) , y _(1,l) , . . . , y _(ny,l))  (5).

Further, a line joining the point at infinity (x_(0,l), x_(1,l), . . . , x_(nx,l), y_(0,l), y_(1,l), . . . , y_(ny,l))∈EC^(nx+ny+2) and a point (x₀, x₁, . . . , x_(nx), y_(0,1), y₁, . . . , y_(ny))∈EC^(nx+ny+2) will intersect with EC^(nx+ny+2) at (x₀, x₁, . . . , x_(nx), y_(0,2), y₁, . . . , y_(ny))∈EC^(nx+ny+2). Thus, from the addition rule defined above,

(x₀, x₁, . . . , x_(nx), y₀, y₁, . . . , y_(ny))+(x_(0,l), x_(1,l), . . . , x_(nx,l), y_(0,l), y_(1,l), . . . , y_(ny,l))=(x₀, x₁, . . . , x_(nx), y₀, y₁, . . . , y_(ny))  (6).

Equation (5) satisfies axiom (ii) while equation (6) satisfies axiom (i), defined above.

Case B.iii applies for all other conditions except those in cases B.i and B.ii. This case occurs only when ny is greater than or equal to one. Given two points (x_(0,o), x_(1,o), . . . , x_(nx,o), y_(0,1), y_(1,1), . . . , y_(ny,1))∈EC^(nx+ny+2) and (x_(0,o), x_(1,o), . . . , x_(nx,o), y_(0,2), y_(1,2), . . . , y_(ny,2))∈EC^(nx+ny+2) which do not satisfy the conditions of cases B.i and B.ii above, the sum point is written as (x_(0,3), x_(1,3), . . . , x_(nx,3), y_(0,3), y_(1,3), . . . , y_(ny,3))=(x_(0,o), x_(1,o), . . . , x_(nx,o), y_(0,1), y_(1,1), . . . , y_(ny,1))+(x_(0,o), x_(1,o), . . . , x_(nx,o), y_(0,2), y_(1,2), . . . , y_(ny,2)).

There are several possible rules to find the sum point in this case. Three possible methods are given below:

1) Using three point doublings and one point addition, (x_(0,3), x_(1,3), . . . , x_(nx,3), y_(0,3), y_(1,3), . . . , y_(ny,3))=4(x_(0,o), x_(1,o), . . . , x_(nx,o), y_(0,1), y_(1,1), . . . , y_(ny,1))−2(x_(0,o), x_(1,o), . . . , x_(nx,o), y_(0,2), y_(1,2), . . . , y_(ny,2));

2) using one point doublings and three point additions, (x_(0,3), x_(1,3), . . . , x_(nx,3), y_(0,3), y_(1,3), . . . , y_(ny,3))=(2(x_(0,o), x_(1,o), . . . , x_(nx,o), y_(0,1), y_(1,1), . . . , y_(ny,1))+(x_(0,o), x_(1,o), . . . , x_(nx,o), y_(0,2), y_(1,2), . . . , y_(ny,2)); and

3) using point equivalence,

(x _(0,3) , x _(1,3) , . . . , x _(nx,3) , y _(0,3) , y _(1,3) , . . . , y _(ny,3))=(x _(0,o) , x _(1,o) , . . . , x _(nx,o) , y _(0,1) , y _(1,1) , . . . , y _(ny,1))+(x _(0,oe) , x _(1,oe) , . . . , x _(nx,oe) , y _(0,2e) , y _(1,2e) , . . . , y _(ny,2e))

where (x_(0,oe), x_(1,oe), . . . , x_(nx,oe), y_(0,2e), y_(1,2e), . . . , y_(ny,3e)) is assumed to be the equivalent point of (x_(0,o), x_(1,o), . . . , x_(nx,o), y_(0,2), y_(1,2), . . . , y_(ny,2)).

It should be noted that the above methods for defining the sum point are not the only ones that can be defined and are provided for exemplary purposes only. The choice of method used to obtain the sum point in this case should depend on the computation complexity of point addition and point doubling.

With regard to associativity, one way of proving associativity of (EC^(nx+ny+2), +) is as follows: Given particular elliptic polynomial equations (i.e., for particular coefficients a_(1l), a_(2kl), a_(3k), c_(1lki), c_(2kl), c_(3kli), b_(1l), b_(2lk), b_(3lk), b_(4k), b_(c)∈F) defined over a finite field F, if it can be shown by computation that any point Q∈EC^(nx+ny+2) (and any of its equivalent points) can be uniquely written as k_(Q)P∈EC^(nx+ny+2), where P is the generator point of (EC^(nx+ny+2), +), then the corresponding EC^(nx+ny+2) groups based on such polynomials are associative. This is because any three points Q, R, S∈EC^(nx+ny+2) (or any of their equivalent points) can be written as k_(Q)P, k_(R)P, k_(S)P∈EC^(nx+ny+2), respectively, thus their sum (Q+R+S)=(k_(Q)P+k_(R)P+k_(S)P)=(k_(Q)+k_(R)+k_(S))P can be carried out in any order.

The following elliptic polynomial equation with nx=1 and ny=0 is used to show an example of the equations in Case A used in point addition: y₀ ²=x₀ ³+x₁ ³+x₀x₁. Choosing x_(j)=x₀, and substituting y_(k)=m_(yk)x_(j)+c_(yk) from Case A above for y₀, and the corresponding equation x_(i)=m_(xi)x_(j)+c_(xi) for X₁, one obtains (m_(y0)X₀+c_(y0))²=X₀ ³+(m_(x1)x₀+c_(x1))³+x₀(m_(x1)x₀+c_(x1)).

Expanding this equation yields m_(y0) ²x₀ ²+2m_(y0)x₀+c_(y0) ²=x₀ ³+m_(x1) ³x₀ ³+3m_(x1) ²c_(x1)x₀ ²+3m_(x1)x_(x1) ²x₀+c_(x1) ³+m_(x1)x₀ ²+c_(x1)x₀, or (1+m_(x1) ³)x₀ ³+(3m_(x1) ²c_(x1)+m_(x1)−m_(y0) ²)x₀ ²+(3m_(x1)c_(x1) ²+c_(x1)−2m_(y0)c_(y0))x₀+c_(x1) ³−c_(y0) ²=0. From equation (2), the solution for x_(0,3) in this case is obtained:

$x_{0,3}^{\prime} = {\frac{- \left( {{3m_{x\; 1}^{2}c_{x\; 1}} + m_{x\; 1} - m_{y\; 0}^{2}} \right)}{\left( {1 + m_{x\; 1}^{3}} \right)} - x_{j,1} - {x_{j,2}.}}$

Similarly, one can obtain the values of Y_(0,3)′ and x_(1,3)′ for x₀=x_(0,3)′.

It should be noted that when m_(x1)=−1, the coefficient of the cubic term in the above is zero; i.e. C₃=0. In this case, the resulting quadratic equation can be used in the definition of point equivalences for the points that satisfy the elliptic polynomial equation.

Each of the equations for point addition and point doublings derived for cases A and B above require modular inversion or division. In cases where field inversions or divisions are significantly more expensive (in terms of computational time and energy) than multiplication, projective coordinates are used to remove the requirement for field inversion or division from these equations.

Several projective coordinates can be utilized. In the preferred embodiment, the Jacobean projective coordinate system is used. As an example, we examine:

$\begin{matrix} \begin{matrix} {x_{i} = \frac{X_{i}}{V^{2}}} & {{{{for}\mspace{14mu} i} \in S_{nx}};\mspace{11mu} {and}} \end{matrix} & (7) \\ \begin{matrix} {y_{k} = \frac{Y_{k}}{V^{3}}} & {{{for}\mspace{14mu} k} \in {S_{ny}.}} \end{matrix} & (8) \end{matrix}$

Using the Jacobian projection given above yields:

$\begin{matrix} {{{\sum\limits_{k \in S_{ny}}\; {a_{1k}\frac{Y_{k}^{2}}{V^{6}}}} + {\sum\limits_{k,{l \in S_{ny}},{l \neq k}}\; {a_{2{kl}}\frac{Y_{k}}{V^{3}}\frac{Y_{l}}{V^{3}}}} + {\sum\limits_{k \in S_{ny}}\; {a_{3k}\frac{Y_{k}}{V^{3}}}} + {\sum\limits_{k,{l \in S_{ny}},{i \in S_{nx}}}\; {c_{1{kli}}\frac{Y_{k}}{V^{3}}\frac{Y_{l}}{V^{3}}\frac{X_{i}}{V^{2}}}} + {\sum\limits_{{k \in S_{ny}},{l \in S_{nx}}}\; {c_{2{kl}}\frac{Y_{k}}{V^{3}}\frac{X_{l}}{V^{2}}}} + {\sum\limits_{{k \in S_{ny}},l,{i \in S_{nx}}}\; {c_{3{kli}}\frac{Y_{k}}{V^{3}}\frac{X_{l}}{V^{2}}\frac{X_{i}}{V^{2}}}}} = {{\sum\limits_{l \in S_{nx}}\; {b_{1l}\frac{X_{l}^{3}}{V^{6}}}} + {\sum\limits_{l,{k \in S_{nx}},{l \neq k}}\; {b_{2{lk}}\frac{X_{l}^{2}}{V^{4}}\frac{X_{k}}{V^{2}}}} + {\sum\limits_{l,{k \in S_{nx}}}\; {b_{3{lk}}\frac{X_{l}}{V^{2}}\frac{X_{k}}{V^{2}}}} + {\sum\limits_{k \in S_{nx}}\; {b_{4k}\frac{X_{k}}{V^{2}}}} + b_{c}}} & (9) \end{matrix}$

which can be rewritten as:

$\begin{matrix} {{{\sum\limits_{k \in S_{ny}}\; {a_{1k}Y_{k}^{2}V^{2}}} + {\sum\limits_{k,{l \in S_{ny}},{l \neq k}}\; {a_{2{kl}}Y_{k}Y_{l}V^{2}}} + {\sum\limits_{k \in S_{ny}}\; {a_{3k}Y_{k}V^{5}}} + {\sum\limits_{k,{l \in S_{ny}},{i \in S_{nx}}}\; {c_{1{kli}}Y_{k}Y_{l}X_{i}}} + {\sum\limits_{{k \in S_{ny}},{l \in S_{nx}}}\; {c_{2{kl}}Y_{k}X_{l}V^{3}}} + {\sum\limits_{{k \in S_{ny}},l,{i \in S_{nx}}}\; {c_{3{kli}}Y_{k}X_{l}X_{i}V}}} = {{\sum\limits_{l \in S_{nx}}\; {b_{1l}X_{l}^{3}V^{2}}} + {\sum\limits_{l,{k \in S_{nx}},{l \neq k}}\; {b_{2{lk}}X_{l}^{2}X_{k}V^{2}}} + {\sum\limits_{l,{k \in S_{nx}}}\; {b_{3{lk}}X_{l}X_{k}V^{4}}} + {\sum\limits_{k \in S_{nx}}\; {b_{4k}X_{k}V^{6}}} + {b_{c}{V^{8}.}}}} & (10) \end{matrix}$

In the following, the points (X₀, X₁, . . . , X_(nx), Y₀, Y₁, . . . , Y_(ny), V) are assumed to satisfy equation (10). When V≠0, the projected point (X₀, X₁, . . . , X_(nx), Y₀, Y₁, . . . , Y_(ny), V) corresponds to the point

${\begin{pmatrix} {x_{0},x_{1},\ldots \mspace{14mu},x_{nx},} \\ {y_{0},y_{1},\ldots \mspace{14mu},y_{ny}} \end{pmatrix} = \left( {\frac{X_{0}}{V^{2}},\frac{X_{1}}{V^{2}},\ldots \mspace{14mu},\mspace{14mu} \frac{X_{nx}}{V^{2}},\frac{Y_{0}}{V^{3}},\frac{Y_{1}}{V^{3}},\ldots \mspace{14mu},\frac{Y_{ny}}{V^{3}}} \right)},$

which satisfies equation (1).

Using Jacobean projective coordinate, equation (10) can be written as,

$\begin{matrix} {\left( {\frac{X_{0,3}}{V_{3}^{2}},\frac{X_{1,3}}{V_{3}^{2}},\ldots \mspace{14mu},\frac{X_{{nx},3}}{V_{3}^{2}},\frac{Y_{0,3}}{V_{3}^{3}},\frac{Y_{1,3}}{V_{3}^{3}},\ldots \mspace{14mu},\frac{Y_{{ny},3}}{V_{3}^{3}}} \right) = {\left( {\frac{X_{0,1}}{V_{1}^{2}},\frac{X_{1,1}}{V_{1}^{2}},\ldots \mspace{14mu},\frac{X_{{nx},1}}{V_{1}^{2}},\frac{Y_{0,1}}{V_{1}^{3}},\frac{Y_{1,1}}{V_{1}^{3}},\ldots \mspace{14mu},\frac{Y_{{ny},1}}{V_{1}^{3}}} \right) + {\left( {\frac{X_{0,2}}{V_{2}^{2}},\frac{X_{1,2}}{V_{2}^{2}},\ldots \mspace{14mu},\frac{X_{{nx},2}}{V_{2}^{2}},\frac{Y_{0,2}}{V_{2}^{3}},\frac{Y_{1,2}}{V_{2}^{3}},\ldots \mspace{14mu},\frac{Y_{{ny},2}}{V_{2}^{3}}} \right).}}} & (11) \end{matrix}$

By using the Jacobian projective coordinate in the equations of Cases A and B above, and by an appropriate choice of the value of V₃, it can be shown that point doubling and point addition can be computed without the need for field inversion or division.

As noted above, the methods include data embedding. In order to embed a message bit string into a point (x, √{square root over (α)}y) which satisfies either an elliptic polynomial equation y²=x³+ax+b or its twist, αy²=x³+ax+b, the message bit string is first divided into N-bit strings and the i^(th) block is denoted as m_(i). Following this, the value of the bit string of m_(i) is assigned to x_(m) _(i) , and the values of x_(m) _(i) are substituted and the value of t_(m) _(i) is computed using t_(m) _(i) =c_(m) _(i) ³+ax_(m) _(i) +b.

If t_(m) _(i) is quadratic residue, then y_(m) _(i) =√{square root over (t_(m) _(i) )} and the point is given as (x_(m) _(i) , y_(m) _(i) ). However, if t_(m) _(i) is non-quadratic residue, then

$y_{m_{i}} = \sqrt{\frac{t_{m_{i}}}{\overset{\_}{\alpha}}}$

and the point is given as (x_(m) _(i) , √{square root over ( αy_(m) _(i) ). The message point is then denoted as (x_(m) _(i) , √{square root over (α_(m) _(i) )}y_(m) _(i) ), where the point is on the elliptic polynomial if α_(m) _(i) =1, and the point is on the twist if α_(m) _(i) = α.

The Legendre Symbol is used to test whether an element of F(p) has a square root or not; i.e., whether an element is quadratic residue or not. The Legendre Symbol and test are as follows: given an element of a finite field F(p), such as d, the Legendre symbol is defined as (d/p). In order to test whether d is quadratic residue or not, the Legendre symbol, (d/p), such that:

$\left( \frac{d}{p} \right) = \left\{ \begin{matrix} {+ 1} & {{if}\mspace{14mu} x\mspace{14mu} {is}\mspace{14mu} {quadratic}\mspace{14mu} {residue}} \\ 0 & {{{if}\mspace{14mu} x} \equiv {0\; {{{mod}F}(p)}}} \\ {- 1} & {{otherwise}.} \end{matrix} \right.$

In the following embodiment, it is assumed that the maximum block size that can be embedded into the (nx+1) x-coordinates and the ny y-coordinates is (nx+ny+1)N bits, and that the compressed media data bit string length is a multiple of (nx+ny+1)N, for example, (u+1) (nx+ny+1)N. In other words, the number of (nx+ny+1)N-bit blocks in a message bit string is (u+1).

In order to generate the elliptic polynomial hash functions, the hash function parameters are first set up using the following method:

1) Specifying the values of nx and ny, and the set of coefficients a_(1k), a_(2kl), a_(3k), c_(1lki), c_(2kl), c_(3kli), b_(1l), b_(2lk), b_(3lk), b_(4k), b_(c)∈F, along with a base point on an elliptic polynomial (x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B))∈EC^(xn+ny+2) and base point on the twist (x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB))∈TEC^(xn+ny+2), where all of these coefficients and points are made public;

2) selecting two random numbers k₁, k₂ that are kept secret for the specific hash function to be used;

3) computing the multiplication of the scalar k₁ with the point (x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B)) to obtain the scalar multiplication, (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny;Pu) . . . )=k₁(x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B)), and the multiplication of the scalar k₂ with the point (x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB)) to obtain the scalar multiplication, (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu))=k₁(x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB);

4) making the two scalar multiplication points (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu)) and (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu)) public.

Next, the hash bit string of the message bits string is generated using the following method:

1) Pre-processing the message bit string to obtain a bit string that is a multiple of (nx+ny+1)N-bits;

2) computing the initial hash point (x_(0,c) ₁ , x_(1,c) ₁ , . . . , x_(nx,c) ₁ , y_(0,c) ₁ , y_(1,c) ₁ , . . . , y_(ny,c) ₁ ) on the elliptic polynomial by multiplying the scalar integer value k_(m) ₀ of the (nx+ny+1)N-bit string of the initial block of the message with the point (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu)) such that (x_(0,c) ₁ , x_(1,c) ₁ , . . . , x_(nx,c) ₁ , y_(0,c) ₁ , y_(1,c) ₁ , . . . , y_(ny,c) ₁ )=k_(m) ₀ (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu));

(3) computing the initial hash point (x_(0,Tc) ₁ , x_(1,Tc) ₁ , . . . , x_(nx,Tc) ₁ , √{square root over ( αy_(0,Tc) ₁ , y_(1,Tc) ₁ , . . . , y_(ny,Tc) ₁ ) on the twist of the elliptic polynomial by multiplying the scalar integer value k_(m) ₁ of the (nx+ny+1)N-bit string of the next block of the message with a point (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu)) such that:

(x_(0,Tc) ₁ , x_(1,Tc) ₁ , . . . , x_(nx,Tc) ₁ , √{square root over ( αy_(0,Tc) ₁ , y_(1,Tc) ₁ , . . . , y_(ny,Tc) ₁ )=k_(m) ₁ (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu));

Then, starting with i=2, repeating steps 4 and 5 until i>u:

4) embedding the message (nx+ny+1)N-bit string of the i^(th) block into the (nx+1) x-coordinates X₀, x₁, . . . , x_(nx) and the ny y-coordinates y₁, . . . , y_(ny), of the elliptic message point (x_(0,m) _(i) , x_(1,m) _(i) , . . . , x_(nx,m) _(i) , √{square root over (α_(m) _(i) )}y_(0,m) _(i) , y_(1,m) _(i) , . . . , y_(ny,m) _(i) ) using the non-iterative embedding method described below;

5) if the message point of the i^(th) block is on the elliptic polynomial (i.e., α_(m) _(i) =1), then the hash points are computed using

(x _(0,c) _(i) , x _(1,c) _(i) , . . . , x _(nx,c) _(i) , y _(0,c) _(i) , y _(1,c) _(i) , . . . , y _(ny,c) _(i) )=(x _(0,m) _(i) , x _(1,m) _(i) , . . . , x _(nx,m) _(i) , y _(0,m) _(i) , y _(1,m) _(i) , . . . , y _(ny,m) _(i) )+(x _(0,c) _(i-1) , x _(1,c) _(i-1) , . . . , x _(nx,c) _(i-1) , y _(0,c) _(i-1) , y _(1,c) _(i) , . . . , x _(ny,c) _(i-1) )

and

(x_(0,Tc) _(i) , x_(1,Tc) _(i) , . . . , x_(nx,Tc) _(i) , √{square root over ( αy_(0,Tc) _(i) , y_(1,Tc) _(i) , . . . , y_(ny,Tc) _(i) )=(x_(0,Tc) _(i-1) , x_(1,Tc) _(i-1) , . . . , x_(nx,Tc) _(i-1) , √{square root over ( αy_(0,Tc) _(i-1) , y_(1,Tc) _(i-1) , . . . , x_(ny,Tc) _(i-1) ),

otherwise, they are computed using

(x_(0,Tc) _(i) , x_(1,Tc) _(i) , . . . , x_(nx,Tc) _(i) , √{square root over ( αy_(0,Tc) _(i) , y_(1,Tc) _(i) , . . . , y_(ny,Tc) _(i) )=(x_(0,m) _(i) , x_(1,m) _(i) , . . . , x_(nx,m) _(i) , √{square root over ( αy_(0,m) _(i) , y_(1,m) _(i) , . . . , y_(ny,m) _(i) )+(x_(0,Tc) _(i-1) , x_(1,Tc) _(i-1) , . . . , x_(nx,Tc) _(i-1) , √{square root over ( αy_(0,Tc) _(i-1) , y_(1,Tc) _(i-1) , . . . , x_(ny,Tc) _(i-1) )

and

(x _(0,c) _(i) , x _(1,c) _(i) , . . . , x _(nx,c) _(i) , y _(0,c) _(i) , y _(1,c) _(i) , . . . , y _(ny,c) _(i) )=(x _(0,c) _(i-1) , x _(1,c) _(i-1) , . . . , x _(nx,c) _(i-1) , y _(0,c) _(i-1) , y _(1,c) _(i) , . . . , x _(ny,c) _(i-1) );

and

6) the appropriate bits of the x-coordinates, x_(0,c), x_(1,c), . . . , x_(nx,c), y-coordinates y_(1,c), . . . , y_(ny,c) and the sign bit of y_(0,c) of the hash point (x_(0,c) _(u) , x_(1,c) _(u) , . . . , x_(nx,c) _(u) , y_(0,c) _(u) , y_(1,c) _(u) , . . . , y_(ny,c) _(u) ), and the appropriate bits of the x-coordinates, x_(0,Tc), x_(1,Tc), . . . , x_(nx,Tc), y-coordinates y_(1,Tc), . . . , y_(ny,Tc) and the sign bit of y_(0,Tc) of the hash point (x_(0,Tc) _(u) , x_(1,Tc) _(u) , . . . , x_(nx,Tc) _(u) , √{square root over ( αy_(0,Tc) _(u) , y_(1,Tc) _(u) , . . . , y_(ny,Tc) _(u) ) are concatenated together to form the hash bit string.

Alternatively, the elliptic polynomial hash functions may be set up as follows. First, the has function parameters are set up using:

1) Specifying the values of nx and ny, and the set of coefficients a_(1k), a_(2kl), a_(3k), c_(1lki), c_(2kl), c_(3kli), b_(1l), b_(2lk), b_(3lk), b_(4k), b_(c)∈F, along with a base point on an elliptic polynomial (x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B))∈EC^(xn+ny+2) and base point on its twist (x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB))∈TEC^(xn+ny+2), where all of these coefficients and points are made public;

2) selecting two random numbers k₁, k₂ that are kept secret for the specific hash function to be used;

3) computing the multiplication of the scalar k₁ with the point (x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B)) to obtain the scalar multiplication, (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny;Pu) . . . )=k₁(x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B)), and the multiplication of the scalar k₂ with the point (x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB)) to obtain the scalar multiplication, (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu))=k₁(x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB);

4) making the two scalar multiplication points (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu)) and (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu)) public.

Next, the hash bit string of the message bits string is generated using the following method:

1) Pre-processing the message bit string to obtain a bit string that is a multiple of (nx+ny+1)N-bits;

2) computing the point (x_(0,S) ₁ , x_(1,S) ₁ , . . . , x_(nx,S) ₁ , y_(0,S) ₁ , y_(1,S) ₁ , . . . , x_(ny,S) ₁ ) on the elliptic polynomial by multiplying the scalar integer value k_(m) ₀ of the N-bit string of the initial block of the message with the point (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu)) such that:

(x_(0,S) ₁ , x_(1,S) ₁ , . . . , x_(nx,S) ₁ , y_(0,S) ₁ , y_(1,S) ₁ , . . . , y_(ny,S) ₁ )=k_(m) ₀ (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu));

(3) computing the point (x_(0,TS) ₁ , x_(1,TS) ₁ , . . . , x_(nx,TS) ₁ , √{square root over ( αy_(0,TS) ₁ , y_(1,TS) ₁ , . . . , y_(ny,TS) ₁ ) on the twist of the elliptic polynomial by multiplying the scalar integer value k_(m) ₁ of the N-bit string of the next block of the message with a point (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu)), such that:

(x_(0,TS) ₁ , x_(1,TS) ₁ , . . . , x_(nx,TS) ₁ , √{square root over ( αy_(0,TS) ₁ , y_(1,TS) ₁ , . . . , y_(ny,TS) ₁ )=k_(m) ₁ (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu));

4) initializing the hash points as follows:

(x _(0,c) ₁ , x _(1,c) ₁ , . . . , x _(nx,c) ₁ , y _(0,c) ₁ , y _(1,c) ₁ , . . . , y _(ny,c) ₁ )=+(x _(0,S) ₁ , x _(1,S) ₁ , . . . , x _(nx,S) ₁ , y _(0,S) ₁ , y _(1,S) ₁ , . . . , x _(ny,S) ₁ ),

and

(x_(0,Tc) ₁ , x_(1,Tc) ₁ , . . . , x_(nx,Tc) ₁ , √{square root over ( αy_(0,Tc) ₁ , y_(1,Tc) ₁ , . . . , y_(ny,Tc) ₁ )=x_(0,TS) _(i) , x_(1,TS) _(i) , . . . , x_(nx,TS) _(i) , √{square root over ( αy_(0,TS) _(i) , y_(1,TS) _(i) , . . . , x_(ny,TS) _(i) );

Then, starting with i=1, repeating steps 5 and 7 until i>u:

5) embedding the message (nx+ny+1)N-bit string of the i^(th) block into the (nx+1) x-coordinates X₀, x₁, . . . , x_(nx) and the ny y-coordinates y₁, . . . , y_(ny) of the elliptic message point (x_(0,m) _(i) , x_(1,m) _(i) , . . . , x_(nx,m) _(i) , √{square root over (α_(m) _(i) )}y_(0,m) _(i) , y_(1,m) _(i) , . . . , y_(ny,m) _(i) ) using the non-iterative embedding method described below;

6) doubling the points (x_(0,S) _(i) , x_(1,S) _(i) , . . . , x_(nx,S) _(i) , y_(0,S) _(i) , y_(1,S) _(i) , . . . , x_(ny,S) _(i) ) and (x_(0,TS) _(i) , x_(1,TS) _(i) , . . . , x_(nx,TS) _(i) , √{square root over ( αy_(0,TS) _(i) , y_(1,TS) _(i) , . . . , x_(ny,TS) _(i) ), such that:

(x _(0,S) _(i) , x _(1,S) _(i) , . . . , x _(nx,S) _(i) , y _(0,S) _(i) , y _(1,S) _(i) , . . . , x _(ny,S) _(i) )=2(x _(0,S) _(i-1) , x _(1,S) _(i-1) , . . . , x _(nx,S) _(i-1) , y _(0,S) _(i-1) , y _(1,T) _(i-1) , . . . , x _(ny,T) _(i-1) )

and

(x_(0,TS) _(i) , x_(1,TS) _(i) , . . . , x_(nx,TS) _(i) , √{square root over ( αy_(0,TS) _(i) , y_(1,TS) _(i) , . . . , x_(ny,TS) _(i) )=2(x_(0,TS) _(i-1) , x_(1,TS) _(i-1) , . . . , x_(nx,TS) _(i-1) , √{square root over ( αy_(0,TS) _(i-1) , y_(1,TS) _(i-1) , . . . , x_(ny,TS) _(i-1) );

7) if the message point of the i^(th) block is on the elliptic polynomial (i.e., α_(m) _(i) =1), then the hash points are computed using:

(x_(0,c) _(i) , x_(1,c) _(i) , . . . , x_(nx,c) _(i) , y_(0,c) _(i) , y_(1,c) _(i) , . . . , y_(ny,c) _(i) )=(x_(0,m) _(i) , x_(1,m) _(i) , . . . , x_(nx,m) _(i) , y_(0,m) _(i) , y_(1,m) _(i) , . . . , y_(ny,m) _(i) )+(x_(0,S) _(i) , x_(1,S) _(i) , . . . , x_(nx,S) _(i) , y_(0,S) _(i) , y_(1,S) _(i) , . . . , x_(ny,S) _(i) )+(x_(0,m) _(i-1) , x_(1,m) _(i-1) , . . . , x_(nx,m) _(i-1) , y_(0,m) _(i-1) , y_(1,m) _(i) , . . . , x_(ny,m) _(i-1) )

and (x_(0,Tc) _(i) , x_(1,Tc) _(i) , . . . , x_(nx,Tc) _(i) , √{square root over ( αy_(0,Tc) _(i) , y_(1,Tc) _(i) , . . . , y_(ny,Tc) _(i) )=(x_(0,Tc) _(i-1) , x_(1,Tc) _(i-1) , . . . , x_(nx,Tc) _(i-1) , √{square root over ( αy_(0,Tc) _(i-1) , y_(1,Tc-1) _(i) , . . . , x_(ny,Tc) _(i-1) ), otherwise, they are computed using:

(x _(0,Tc) _(i) , x _(1,Tc) _(i) , . . . , x _(nx,Tc) _(i) , √{square root over ( αy_(0,Tc) _(i) , y _(1,Tc) _(i) , . . . , y _(ny,Tc) _(i) )=(x _(0,m) _(i) , x _(1,m) _(i) , . . . , x _(nx,m) _(i) , √{square root over ( αy _(0,m) _(i) , y _(1,m) _(i) , . . . , y _(ny,m) _(i) )+(x _(0,TS) _(i) , x _(1,TS) _(i) , . . . , x _(nx,TS) _(i) , √{square root over ( αy_(0,TS) _(i) , y _(1,TS) _(i) , . . . , x _(ny,TS) _(i) )+(x _(0,m) _(i-1) , x _(1,m) _(i-1) , . . . , x _(nx,m) _(i-1) , √{square root over ( αy _(0,m) _(i-1) , y _(1,m) _(i-1) , . . . , x _(ny,m) _(i-1) )

and

(x_(0,c) _(i) , x_(1,c) _(i) , . . . , x_(nx,c) _(i) , y_(0,c) _(i) , y_(1,c) _(i) , . . . , y_(ny,c) _(i) )=(x_(0,c) _(i-1) , x_(1,c) _(i-1) , . . . , x_(nx,c) _(i-1) , y_(0,c) _(i-1) , y_(1,c) _(i) , . . . , x_(ny,c) _(i-1) );

8) the appropriate bits of the x-coordinates x_(0,c), x_(1,c), . . . , x_(nx,c), y-coordinates y_(1,c), . . . , y_(ny,c) and the sign bit of y_(0,c) the hash point (x_(0,c) _(u) , x_(1,c) _(u) , . . . , x_(nx,c) _(u) , y_(0,c) _(u) , y_(1,c) _(u) , . . . , y_(ny,c) _(u) ), and the appropriate bits of the x-coordinates, x_(0,Tc), x_(1,Tc), . . . , x_(nx,Tc), y-coordinates y_(1,Tc), . . . , y_(ny,Tc) and the sign bit of y_(0,Tc) of the hash point (x_(0,Tc) _(u) , x_(1,Tc) _(u) , . . . , x_(nx,Tc) _(u) , √{square root over ( αy_(0,Tc) _(u) , y_(1,Tc) _(u) , . . . , y_(ny,Tc) _(u) ) are concatenated together to form the hash bit string.

Alternatively, the elliptic polynomial hash functions may be set up as follows. In the following, let s_(m) _(i) represent the (nx+ny+1)N-bit string of the i^(th) message block. First, the hash function parameters are set up using:

1) Specifying the values of nx and ny, and the set of coefficients a_(1k), a_(2kl), a_(3k), c_(1lki), c_(2kl), c_(3kli), b_(1l), b_(2lk), b_(3lk), b_(4k), b_(c)∈F, along with a base point on an elliptic polynomial (x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B))∈EC^(xn+ny+2) and base point on its twist (x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB))∈TEC^(xn+ny+2), where all of these coefficients and points are made public;

2) selecting two random numbers k₁, k₂ that are kept secret for the specific hash function to be used;

3) computing the multiplication of the scalar k₁ with the point (x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B)) to obtain the scalar multiplication, (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny;Pu) . . . )=k₁(x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B)), and the multiplication of the scalar k₂ with the point (x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB)) to obtain the scalar multiplication:

(x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu))=k₂(x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB));

4) making the two scalar multiplication points (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu)) and (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu)) public; and

5) selecting an initial vector S_(m1) and making it public.

Next, the hash bit string of the message bits string is generated using the following method:

1) Pre-processing the message bit string to obtain a bit string that is a multiple of (nx+ny+1)N-bits;

2) computing the initial hash point (x_(0,c) ₁ , x_(1,c) ₁ , . . . , x_(nx,c) ₁ , y_(0,c) ₁ , y_(1,c) ₁ , . . . , y_(ny,c) ₁ ) on the elliptic polynomial by multiplying the scalar integer value k_(m) ₀ of the (nx+ny+1)N-bit string of the initial block of the message with the point (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu)) such that (x_(0,c) ₁ , x_(1,c) ₁ , . . . , x_(nx,c) ₁ , y_(0,c) ₁ , y_(1,c) ₁ , . . . , y_(ny,c) ₁ )=k_(m) ₀ (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu));

(3) computing the initial hash point (x_(0,Tc) ₁ , x_(1,Tc) ₁ , . . . , x_(nx,Tc) ₁ , √{square root over ( αy_(0,Tc) ₁ , y_(1,Tc) ₁ , . . . , y_(ny,Tc) ₁ ) on the twist of the elliptic polynomial by multiplying the scalar integer value k_(m) ₁ of the (nx+ny+1)N-bit string of the next block of the message with a point (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu)) such that:

(x _(0,Tc) ₁ , x _(1,Tc) ₁ , . . . , x _(nx,Tc) ₁ , √{square root over ( αy _(0,Tc) ₁ , y _(1,Tc) ₁ , . . . , y _(ny,Tc) ₁ )=k _(m) ₁ (x _(0,TPu) , x _(1,TPu) , . . . , x _(nx,TPu) , √{square root over ( αy _(0,TPu) , y _(1,TPu) , . . . , y _(ny,TPu));

1) Pre-processing the message bit string to obtain a bit string that is a multiple of (nx+ny+1)N-bits;

2) computing the point (x_(0,S) ₁ , x_(1,S) ₁ , . . . , x_(nx,S) ₁ , y_(0,S) ₁ , y_(1,S) ₁ , . . . , x_(ny,S) ₁ ) on the elliptic polynomial by multiplying the scalar integer value k_(m) ₀ of the N-bit string of the initial block of the message with the point (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu)) such that:

(x _(0,S) ₁ , x _(1,S) ₁ , . . . , x _(nx,S) ₁ , y _(0,S) ₁ , y _(1,S) ₁ , . . . , y _(ny,S) ₁ )=k _(m) ₀ (x _(0,Pu) , x _(1,Pu) , . . . , x _(nx,Pu) , y _(0,Pu) , y _(1,Pu) , . . . , y _(ny,Pu))

3) computing the initial hash point (x_(0,TS) ₁ , x_(1,TS) ₁ , . . . , x_(nx,TS) ₁ , √{square root over ( αy_(0,TS) ₁ , y_(1,TS) ₁ , . . . , y_(ny,TS) ₁ ) on the twist of the elliptic polynomial by multiplying the scalar integer value k_(m) ₁ of the N-bit string of the next block of the message with a point (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu)), such that:

(x_(0,TS) ₁ , x_(1,TS) ₁ , . . . , x_(nx,TS) ₁ , √{square root over ( αy_(0,TS) ₁ , y_(1,TS) ₁ , . . . , y_(ny,TS) ₁ )=k_(m) ₁ (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu));

4) initializing the hash points as follows:

(x _(0,c) ₁ , x _(1,c) ₁ , . . . , x _(nx,c) ₁ , y _(0,c) ₁ , y _(1,c) ₁ , . . . , y _(ny,c) ₁ )=(x _(0,S) ₁ , x _(1,S) ₁ , . . . , x _(nx,S) ₁ , y _(0,S) ₁ , y _(1,S) ₁ , . . . , x _(ny,S) ₁ ),

and

(x_(0,Tc) ₁ , x_(1,Tc) ₁ , . . . , x_(nx,Tc) ₁ , √{square root over ( αy_(0,Tc) ₁ , y_(1,Tc) ₁ , . . . , y_(ny,Tc) ₁ )=(x_(0,TS) _(i) , x_(1,TS) _(i) , . . . , x_(nx,TS) _(i) , √{square root over ( αy_(0,TS) _(i) , y_(1,TS) _(i) , . . . , x_(ny,TS) _(i) )

Then, starting with i=2, repeating steps 5 to 8 until i>u:

5) computing the (nx+ny+1)N-bit string S_(m) _(i) ′ as S_(m) _(i) ′=S_(m) _(i) ⊕S_(m) _(i-1) ;

6) embedding the message (nx+ny+1)N-bit string S_(m) _(i) ′ of the i^(th) block into the (nx+1) x-coordinates x₀, x₁, . . . , x_(nx), and the ny y-coordinates y₁, . . . , y_(ny) of the elliptic message point (x_(0,m) _(i) , x_(1,m) _(i) , . . . , x_(nx,m) _(i) , √{square root over ( αy_(0,m) _(i) , y_(1,m) _(i) , . . . , y_(ny,m) _(i) ) using the non-iterative embedding method described below;

7) doubling the points (x_(0,S) _(i) , x_(1,S) _(i) , . . . , x_(nx,S) _(i) , y_(0,S) _(i) , y_(1,S) _(i) , . . . , x_(ny,S) _(i) ) and (x_(0,TS) _(i) , x_(1,TS) _(i) , . . . , x_(nx,TS) _(i) , √{square root over ( αy_(0,TS) _(i) , y_(1,TS) _(i) , . . . , x_(ny,TS) _(i) ), such as:

(x _(0,S) _(i) , x _(1,S) _(i) , . . . , x _(nx,S) _(i) , y _(0,S) _(i) , y _(1,S) _(i) , . . . , x _(ny,S) _(i) )=2(x _(0,S) _(i-1) , x _(1,S) _(i-1) , . . . , x _(nx,S) _(i-1) , y _(0,S) _(i-1) , y _(1,S) _(i-1) , . . . , x _(ny,S) _(i-1) )

and

(x_(0,TS) _(i) , x_(1,TS) _(i) , . . . , x_(nx,TS) _(i) , √{square root over ( αy_(0,TS) _(i) , y_(1,TS) _(i) , . . . , x_(ny,TS) _(i) )=2(x_(0,TS) _(i-1) , x_(1,TS) _(i-1) , . . . , x_(nx,TS) _(i-1) , √{square root over ( αy_(0,TS) _(i-1) , y_(1,TS) _(i-1) , . . . , x_(ny,TS) _(i-1) );

-   -   8) if the message point of the i^(th) block is on the elliptic         polynomial (i.e., α_(m) _(i) =1), then the hash points are         computed using (x_(0,c) _(i) , x_(1,c) _(i) , . . . , x_(nx,c)         _(i) , y_(0,c) _(i) , y_(1,c) _(i) , . . . , y_(ny,c) _(i)         )=(x_(0,m) _(i) , x_(1,m) _(i) , . . . , x_(nx,m) _(i) , y_(0,m)         _(i) , y_(1,m) _(i) , . . . , y_(ny,m) _(i) )+(x_(0,S) _(i) ,         x_(1,S) _(i) , . . . , x_(nx,S) _(i) , y_(0,S) _(i) , y_(1,S)         _(i) , . . . , x_(ny,S) _(i) )+(x_(0,m) _(i-1) , x_(1,m) _(i-1)         , . . . , x_(nx,m) _(i-1) , y_(0,m) _(i-1) , y_(1,m) _(i-1) , .         . . , x_(ny,m) _(i-1) )

and

(x_(0,Tc) _(i) , x_(1,Tc) _(i) , . . . , x_(nx,Tc) _(i) , √{square root over ( αy_(0,Tc) _(i) , y_(1,Tc) _(i) , . . . , y_(ny,Tc) _(i) )=(x_(0,Tc) _(i-1) , x_(1,Tc) _(i-1) , . . . , x_(nx,Tc) _(i-1) , √{square root over ( αy_(0,Tc) _(i-1) , y_(1,Tc) _(i-1) , . . . , x_(ny,Tc) _(i-1) ),

otherwise, they are computed using:

(x_(0,Tc) _(i) , x_(1,Tc) _(i) , . . . , x_(nx,Tc) _(i) , √{square root over ( αy_(0,Tc) _(i) , y_(1,Tc) _(i) , . . . , y_(ny,Tc) _(i) )=(x_(0,m) _(i) , x_(1,m) _(i) , . . . , x_(nx,m) _(i) , √{square root over ( αy_(0,m) _(i) , y_(1,m) _(i) , . . . , y_(ny,m) _(i) )+(x_(0,TS) _(i) , x_(1,TS) _(i) , . . . , x_(nx,TS) _(i) , √{square root over ( αy_(0,TS) _(i) , y_(1,TS) _(i) , . . . , x_(ny,TS) _(i) )+(x_(0,m) _(i-1) , x_(1,m) _(i-1) , . . . , x_(nx,m) _(i-1) , √{square root over ( αy_(0,m) _(i-1) , y_(1,m) _(i-1) , . . . , x_(ny,m) _(i-1) )

and

(x _(0,c) _(i) , x _(1,c) _(i) , . . . , x _(nx,c) _(i) , y _(0,c) _(i) , y _(1,c) _(i) , . . . , y _(ny,c) _(i) )=(x _(0,c) _(i-1) , x _(1,c) _(i-1) , . . . , x _(nx,c) _(i-1) , y _(0,c) _(i-1) , y _(1,c) _(i) , . . . , x _(ny,c) _(i-1) );

9) the appropriate bits of the x-coordinates x_(0,c), x_(1,c), . . . , c_(nx,c), y-coordinates y_(1,c), . . . , y_(ny,c) and the sign bit of y_(0,c) the hash point (x_(0,c) _(u) , x_(1,c) _(u) , . . . , x_(nx,c) _(u) , y_(0,c) _(u) , y_(1,c) _(u) , . . . , y_(ny,c) _(u) ), and the appropriate bits of the x-coordinates, x_(0,Tc), x_(1,Tc), . . . , x_(nx,Tc), y-coordinates y_(1,Tc), . . . , y_(ny,Tc) and the sign bit of y_(0,Tc) of the hash point (x_(0,Tc) _(u) , x_(1,Tc) _(u) , . . . , x_(nx,Tc) _(u) , √{square root over ( αy_(0,Tc) _(u) , y_(1,Tc) _(u) , . . . , y_(ny,Tc) _(u) ) are concatenated together to form the hash bit string.

The above methods may also be applied to find the hash bit string for bit streams of media data, such as text, audio, video, or multimedia data. The hash functions described above can further be applied to the verification of media data. For efficiency of computation, the above methods are used with a pre-processing stage that is used to compress the media data prior to the application of the hash functions. Either a lossless compression method or a lossy compression method can be used to compress the media data in the pre-processing stage. The bit string of the compressed message at the output of the pre-processing stage is then used as the input to the hash generation methods.

In the following, it is assumed that the maximum block size that can be embedded into the (nx+1) x-coordinates and the ny y-coordinates is (nx+ny+1)N bits, and that the compressed media data bit string length is a multiple of (nx+ny+1)N, for example, (u+1) (nx+ny+1)N. In other words, the number of (nx+ny+1)N-bit blocks in a message bit string is (u+1).

Following this, the elliptic polynomial hash functions may be set up as follows. First, the hash function parameters are set up using the following steps:

1) Specifying the values of nx and ny, and the set of coefficients a_(1k), a_(2kl), a_(3k), c_(1lki), c_(2kl), c_(3kli), b_(1l), b_(2lk), b_(3lk), b_(4k), b_(c)∈F, along with a base point on an elliptic polynomial (x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B))∈EC^(xn+ny+2) and base point on the twist (x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB))∈TEC^(xn+ny+2), where all of these coefficients and points are made public;

2) selecting two random numbers k₁, k₂ that are kept secret for the specific hash function to be used;

3) computing the multiplication of the scalar k₁ with the point (x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B)) to obtain the scalar multiplication, (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny;Pu) . . . )=k₁(x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B)), and the multiplication of the scalar k₂ with the point (x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB)) to obtain the scalar multiplication:

(x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu))=k₂(x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB));

4) making the two scalar multiplication points (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu)) and (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu)) public; and

5) specifying a media compression method and making it public.

Next, the hash bit string of the message bits string is generated using the following method:

1) compressing the media data to be sent using the agreed upon method to generate a compressed message data bit string and dividing the bit string into blocks of (nx+ny+1)N bits;

2) pre-processing the message bit string to obtain a bit string that is a multiple of (nx+ny+1)N-bits;

3) computing the point (x_(0,S) ₁ , x_(1,S) ₁ , . . . , x_(nx,S) ₁ , y_(0,S) ₁ , y_(1,S) ₁ , . . . , x_(ny,S) ₁ ) on the elliptic polynomial by multiplying the scalar integer value k_(m) ₀ of the N-bit string of the initial block of the message with the point (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu)) such that (x_(0,S) ₁ , x_(1,S) ₁ , . . . , x_(nx,S) ₁ , y_(0,S) ₁ , y_(1,S) ₁ , . . . , y_(ny,S) ₁ )=k_(m) ₀ (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu)); and

4) computing the initial hash point (x_(0,TS) ₁ , x_(1,TS) ₁ , . . . , x_(nx,TS) ₁ , √{square root over ( αy_(0,TS) ₁ , y_(1,TS) ₁ , . . . , y_(ny,TS) ₁ ) on the twist of the elliptic polynomial by multiplying the scalar integer value k_(m) ₁ of the N-bit string of the next block of the message with a point (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu)), such that:

(x_(0,TS) ₁ , x_(1,TS) ₁ , . . . , x_(nx,TS) ₁ , √{square root over ( αy_(0,TS) ₁ , y_(1,TS) ₁ , . . . , y_(ny,TS) ₁ )=k_(m) ₁ (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu));

Then, starting with i=2, repeating steps 5 and 6 until i>u:

5) embedding the message (nx+ny+1)N-bit string of the i^(th) block into the (nx+1) x-coordinates X₀, x₁, . . . , x_(nx) and the ny y-coordinates y₁, . . . , y_(ny), of the elliptic message point (x_(0,m) _(i) , x_(1,m) _(i) , . . . , x_(nx,m) _(i) , √{square root over (α_(m) _(i) )}y_(0,m) _(i) , y_(1,m) _(i) , . . . , y_(ny,m) _(i) ) using the non-iterative embedding method described below;

6) if the message point of the i^(th) block is on the elliptic polynomial (i.e., α_(m) _(i) =1), then the hash points are computed using:

(x _(0,c) _(i) , x _(1,c) _(i) , . . . , x _(nx,c) _(i) , y _(0,c) _(i) , y _(1,c) _(i) , . . . , y _(ny,c) _(i) )=(x _(0,m) _(i) , x _(1,m) _(i) , . . . , x _(nx,m) _(i) , y _(0,m) _(i) , y _(1,m) _(i) , . . . , y _(ny,m) _(i) )+(x _(0,S) _(i) , x _(1,S) _(i) , . . . , x _(nx,S) _(i) , y _(0,S) _(i) , y _(1,S) _(i) , . . . , x _(ny,S) _(i) )+(x _(0,m) _(i-1) , x _(1,m) _(i-1) , . . . , x _(nx,m) _(i-1) , y _(0,m) _(i-1) , y _(1,m) _(i) , . . . , x _(ny,m) _(i-1) )

and

(x_(0,Tc) _(i) , x_(1,Tc) _(i) , . . . , x_(nx,Tc) _(i) , √{square root over ( αy_(0,Tc) _(i) , y_(1,Tc) _(i) , . . . , y_(ny,Tc) _(i) )=(x_(0,Tc) _(i-1) , x_(1,Tc) _(i-1) , . . . , x_(nx,Tc) _(i-1) , √{square root over ( αy_(0,Tc) _(i-1) , y_(1,Tc) _(i-1) , . . . , x_(ny,Tc) _(i-1) ),

otherwise, they are computed using:

(x_(0,Tc) _(i) , x_(1,Tc) _(i) , . . . , x_(nx,Tc) _(i) , √{square root over ( αy_(0,Tc) _(i) , y_(1,Tc) _(i) , . . . , y_(ny,Tc) _(i) )=(x_(0,m) _(i) , x_(1,m) _(i) , . . . , x_(nx,m) _(i) , √{square root over ( αy_(0,m) _(i) , y_(1,m) _(i) , . . . , y_(ny,m) _(i) )+(x_(0,TS) _(i) , x_(1,TS) _(i) , . . . , x_(nx,TS) _(i) , √{square root over ( αy_(0,TS) _(i) , y_(1,TS) _(i) , . . . , x_(ny,TS) _(i) )+(x_(0,m) _(i-1) , x_(1,m) _(i-1) , . . . , x_(nx,m) _(i-1) , √{square root over ( αy_(0,m) _(i-1) , y_(1,m) _(i-1) , . . . , x_(ny,m) _(i-1) )

and

(x _(0,c) _(i) , x _(1,c) _(i) , . . . , x _(nx,c) _(i) , y _(0,c) _(i) , y _(1,c) _(i) , . . . , y _(ny,c) _(i) )=(x _(0,c) _(i-1) , x _(1,c) _(i-1) , . . . , x _(nx,c) _(i-1) , y _(0,c) _(i-1) , y _(1,c) _(i) , . . . , x _(ny,c) _(i-1) );

and

7) the appropriate bits of the x-coordinates x_(0,c), x_(1,c), . . . , x_(nx,c), the y-coordinates y_(1,c), . . . , y_(ny,c) and a sign bit of y_(0,c) of the hash point (x_(0,c) _(u) , x_(1,c) _(u) , . . . , x_(nx,c) _(u) , y_(0,c) _(u) , y_(1,c) _(u) , . . . , y_(ny,c) _(u) ), and the appropriate bits of the x-coordinates x_(0,Tc, x) _(1,Tc, . . . , x) _(nx,Tc), the y-coordinates y_(1,Tc, . . . , y) _(ny,Tc) and a sign bit of y_(0,Tc) of the hash point (x_(0,Tc) _(u) , x_(1,Tc) _(u) , . . . , x_(nx,Tc) _(u) , √{square root over ( αy_(0,Tc) _(u) , y_(1,Tc) _(u) , . . . , y_(ny,Tc) _(u) ) are concatenated together to form the hash bit string.

As noted above, the methods described herein include data embedding. The embedding of a message bit string into an elliptic point that satisfies an elliptic polynomial equation with (nx+1) x-coordinates and (ny+1) y-coordinates is carried out as follows:

1) dividing the message bit string into M-bit strings, where ((nx+ny+1)N−L)>M>(N−L);

2) dividing each M-bit string into (nx+ny+1) strings mx₀, mx₁, . . . , mx_(nx), my₁, . . . , my_(ny), where the length of string mx₀ must be no more than (N−L) bits, while the length of each of the other (nx+ny) strings mx₁, . . . , mx_(nx), my₁, . . . , my_(ny) must be no more than N bits, and where each one of the (nx+ny+1) bit strings must have an equivalent value which is an element of the underlying field F;

3) assigning the value of the bit strings of mx₁, . . . , mx_(nx) to x₁, . . . , x_(nx);

4) assigning the value of the bit strings of my₁, . . . , my_(ny) to y₁, . . . , y_(ny),

5) assigning the value of the bit string of mx₀ to x₀;

6) substituting the values of x₀, x₁, . . . , x_(nx) and y₁, . . . , y_(ny) in a selected elliptic polynomial equation with (nx+1) x-coordinates and (ny+1) y-coordinates to form a quadratic equation in y₀: y₀ ²+Ay₀+B=0;

7) If the quadratic equation in y₀ has solutions y _(0,1), y _(0,2) where the solutions are elements of the finite field F, then assign one of the solutions to y₀ at random or according to a certain rule, and the message point is given by (x_(0,m), x_(1,m), . . . , x_(nx,m), y_(0,m), y_(1,m), . . . , y_(ny,m)); otherwise, assign one of the solutions √{square root over ( α y _(0,1) & √{square root over ( α y _(0,2) to y₀ at random or according to a certain rule, and the message point is give by (x_(0,m), x_(1,m), . . . , x_(nx,m), √{square root over ( αy_(0,m), y_(1,m), . . . , y_(ny,m)).

The message point is then denoted as (x_(0,m), x_(1,m), . . . , x_(nx,m), √{square root over (α)}y_(0,m), y_(1,m), . . . , y_(ny,m)), where the point is on the elliptic polynomial if α_(m) _(i) =1, and the point is on the twist if α_(m) _(i) = α.

It should be noted that in the case of quadratic equations with A=0, the Legendre symbol can be used as an efficient test for the existence of a solution of the quadratic equation above.

In the above, the hash functions use the scalar multiplication k_(m)(x_(P) _(u) , y_(P) _(u) ). It should be noted that, in order to find a collision means, that there are two message bits strings m and m′ such that their integer values k_(m) and k_(m′) will lead to k_(m)k(x_(B), y_(B))≡k_(m′)k(x_(B), y_(B)). This collision implies that integers can be found such that k_(m)k−k_(m′)k=l*∩EC, where #EC is the order of the group (EC, +). This is equivalent to solving the elliptic polynomial discrete logarithm problem. This also applies to finding a collision for the points on the twist of an elliptic polynomial, k_(m)k(x_(TB), √{square root over ( αy_(TB))=k_(m′)k(x_(TB), √{square root over ( αy_(TB)).

Thus, security of the hash functions depends on the security of the underlying elliptic polynomial cryptography. The security of elliptic polynomial cryptosystems is assessed by both the effect on the solution of the elliptic polynomial discrete logarithmic problem (ECDLP) and power analysis attacks.

It is well known that the elliptic polynomial discrete logarithm problem (ECDLP) is apparently intractable for non-singular elliptic polynomials. The ECDLP problem can be stated as follows: given an elliptic polynomial defined over F that needs N-bits for the representation of its elements, an elliptic polynomial point (x_(P), y_(P))∈EC, defined in affine coordinates, and a point (x_(Q), y_(Q))∈EC, defined in affine coordinates, determine the integer k, 0≦k≦#F, such that (x_(Q), y_(Q))=k(x_(P), y_(P)), provided that such an integer exists. In the below, it is assumed that such an integer exists.

The most well known attack used against the ECDLP is the Pollard ρ-up method, which has a complexity of O(√{square root over (πK)}/2), where K is the order of the underlying group, and the complexity is measured in terms of an elliptic polynomial point addition.

Since the underlying cryptographic problems used in the above block cipher chaining methods is the discrete logarithm problem, which is a known hard mathematical problem, it is expected that the security of the above methods are more secure than prior art ciphers which are not based on such a mathematically hard problem.

It will be understood that the hash functions with elliptic polynomial polynomial hopping described above may be implemented by software stored on a medium readable by a computer and executing as set of instructions on a processor (including a microprocessor, microcontroller, or the like) when loaded into main memory in order to carry out a cryptographic system of secure communications in a computer network. As used herein, a medium readable by a computer includes any form of magnetic, optical, mechanical, laser, or other media readable by a computer, including floppy disks, hard disks, compact disks (CDs), digital versatile disk (DVD), laser disk, magnetic tape, paper tape, punch cards, flash memory, etc.

It is to be understood that the present invention is not limited to the embodiments described above, but encompasses any and all embodiments within the scope of the following claims. 

1. A method of generating cryptographic hash functions using elliptic polynomial cryptography in an electronic communications system, comprising the steps of: a) generating a set of hash function parameters, including the steps of: b) establishing a two-dimensional Cartesian coordinate system having orthogonal coordinates x and y, establishing natural numbers n and N, wherein a message string to be encrypted is divided into N bit strings, and establishing a finite field F, an elliptic polynomial EC and a twist of the elliptic polynomial TEC; c) specifying values of nx and ny, and a set of coefficients a_(1k), a_(2kl), a_(3k), c_(1lki), c_(2kl), c_(3kli), b_(1l), b_(2lk), b_(3lk), b_(4k), b_(c)∈F, along with a base point on an elliptic polynomial (x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B))∈EC^(xn+ny+2) and a base point on the twist of the elliptic polynomial (x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB))∈TEC^(xn+ny+2); (d) disclosing the values of nx and ny, the set of coefficients, the base point on the elliptic polynomial and the base point on the twist as public information; (e) selecting a pair of random number scalars k₁, k₂ which are kept secret for a specific hash function to be used; (f) computing the multiplication of the scalar k₁ with a point (x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B)) to obtain a scalar multiplication such that (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu))=k₁(x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B)); (g) computing the multiplication of the scalar k₂ with a point (x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB)) to obtain a scalar multiplication such that (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu))=k₁(x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB)); (h) disclosing the scalar multiplication points (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu)) and (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu)) as public information; (i) generating a hash bit string of the message bit string, including: (j) pre-processing the message bit string to obtain a bit string which is a multiple of (nx+ny+1)N-bit; (k) computing an initial hash point (x_(0,c) ₁ , x_(1,c) ₁ , . . . , x_(nx,c) ₁ , y_(0,c) ₁ , y_(1,c) ₁ , . . . , y_(ny,c) ₁ ) on the elliptic polynomial by multiplying a scalar integer value k_(m) ₀ of the (nx+ny+1)N-bit string of an initial block of the message bit string with a point (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu)) such that (x_(0,c) ₁ , x_(1,c) ₁ , . . . , x_(nx,c) ₁ , y_(0,c) ₁ , y_(1,c) ₁ , . . . , y_(ny,c) ₁ )=k_(m) ₀ (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu)); (l) computing an initial hash point (x_(0,Tc) ₁ , x_(1,Tc) ₁ , . . . , x_(nx,Tc) ₁ , √{square root over ( αy_(0,Tc) ₁ , y_(1,Tc) ₁ , . . . , y_(ny,Tc) ₁ ) on the twist of the elliptic polynomial by multiplying a scalar integer value k_(m) ₁ of the (nx+ny+1)N-bit string of the next block of the message bit string with a point (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu)) such that: (x_(0,Tc) ₁ , x_(1,Tc) ₁ , . . . , x_(nx,Tc) ₁ , √{square root over ( αy_(0,Tc) ₁ , y_(1,Tc) ₁ , . . . , y_(ny,Tc) ₁ )=k_(m) ₁ (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu)); m) establishing integer values i and u with an initial value of i=2, and repeating the following steps n) and o) until i>u: n) embedding a (nx+ny+1)N-bit string of the i^(th) block of the message bit string into (nx+1) x-coordinates X₀, x₁, . . . , x_(nx) and ny y-coordinates y₁, . . . , y_(ny) of the elliptic message point (x_(0,m) _(i) , x_(1,m) _(i) , . . . , x_(nx,m) _(i) , √{square root over ( α_(m) _(i) y_(0,m) _(i) , y_(1,m) _(i) , . . . , y_(ny,m) _(i) ) using non-iterative embedding; (o) if the message point of the i^(th) block is on the elliptic polynomial then computing the hash points as: (x_(0,c) _(i) , x_(1,c) _(i) , . . . , x_(nx,c) _(i) , y_(0,c) _(i) , y_(1,c) _(i) , . . . , y_(ny,c) _(i) )=(x_(0,m) _(i) , x_(1,m) _(i) , . . . , x_(nx,m) _(i) , y_(0,m) _(i) , y_(1,m) _(i) , . . . , y_(ny,m) _(i) )+(x_(0,c) _(i-1) , x_(1,c) _(i-1) , . . . , x_(nx,c) _(i-1) , y_(0,c) _(i-1) , y_(1,c) _(i) , . . . , x_(ny,c) _(i-1) ) and (x_(0,Tc) _(i) , x_(1,Tc) _(i) , . . . , x_(nx,Tc) _(i) , √{square root over ( αy_(0,Tc) _(i) , y_(1,Tc) _(i) , . . . , y_(ny,Tc) _(i) )=(x_(0,m) _(i) , x_(1,m) _(i) , . . . , x_(nx,m) _(i) , √{square root over ( αy_(0,m) _(i) , y_(1,m) _(i) , . . . , y_(ny,m) _(i) )+ and (x_(0,Tc) _(i-1) , x_(1,Tc) _(i-1) , . . . , x_(nx,Tc) _(i-1) , √{square root over ( αy_(0,Tc) _(i-1) , y_(1,Tc) _(i-1) , . . . , x_(ny,Tc) _(i-1) ) (x_(0,c) _(i) , x_(1,c) _(i) , . . . , x_(nx,c) _(i) , y_(0,c) _(i) , y_(1,c) _(i) , . . . , y_(ny,c) _(i) )=(x_(0,c) _(i-1) , x_(1,c) _(i-1) , . . . , x_(nx,c) _(i-1) , y_(0,c) _(i-1) , y_(1,c) _(i) , . . . , x_(ny,c) _(i-1) ); and (p) concatenating the appropriate bits of the x-coordinates x_(0,c), x_(1,c), . . . , x_(nx,c), the y-coordinates y_(1,c), . . . , y_(nx,c) and a sign bit of y_(0,c) of the hash point (x_(0,c) _(u) , x_(1,c) _(u) , . . . , x_(nx,c) _(u) , y_(0,c) _(u) , y_(1,c) _(u) , . . . , y_(ny,c) _(u) ), and the appropriate bits of the x-coordinates x_(0,Tc, x) _(1,Tc, . . . , x) _(nx,Tc), the y-coordinates y_(1,Tc, . . . , y) _(ny,Tc) and a sign bit of y_(0,Tc) of the hash point (x_(0,Tc) _(u) , x_(1,Tc) _(u) , . . . , x_(nx,Tc) _(u) , √{square root over ( αy_(0,Tc) _(u) , y_(1,Tc) _(u) , . . . , y_(ny,Tc) _(u) ) to form the hash bit string.
 2. The method of generating cryptographic hash functions as recited in claim 1, wherein the maximum block size that can be embedded into the (nx+1) x-coordinates and the ny y-coordinates is (nx+ny+1)N bits.
 3. The method of generating cryptographic hash functions as recited in claim 2, wherein the number of (nx+ny+1)N bit blocks in the message bit string is (u+1).
 4. The method of generating cryptographic hash functions as recited in claim 3, wherein said step of embedding comprises the steps of: a) establishing integers M and L, and dividing the message bit string into M-bit strings such that ((nx+ny+1)N−L)>M>(N−L); b) dividing each M-bit string into (nx+ny+1) strings mx₀, mx₁, . . . , mx_(nx), my₁, . . . , my_(ny), wherein the length of the string mx₀ is less than or equal to (N−L) bits, and the length of each of the remaining (nx+ny) strings mx₁, . . . , mx_(nx), my₁, . . . , my_(ny) are each less than or equal to N bits, wherein each one of the (nx+ny+1) bit strings has an equivalent value which is an element of the finite field F; c) assigning the value of the bit strings of mx₁, . . . , mx_(nx) to x₁, . . . , x_(nx); d) assigning the value of the bit strings of my₁, . . . , my_(ny) to y₁, . . . , y_(ny); e) assigning the value of the bit string of mx₀ to x₀; f) substituting the values of x₀, x₁, . . . , x_(nx) and y₁, . . . , y_(ny) in the selected elliptic polynomial equation with (nx+1) x-coordinates and (ny+1) y-coordinates to form a quadratic equation in y₀ of the form y₀ ²+Ay₀+B=0, wherein A and B are variables; and g) if the quadratic equation in y₀ has solutions y _(0,1), y _(0,2) where the solutions are elements of the finite field F, then assigning one of the solutions to y₀, and the message point is given by (x_(0,m), x_(1,m), . . . , x_(nx,m), y_(0,m), y_(1,m), . . . , y_(ny,m)), otherwise, assigning one of the solutions √{square root over ( α y _(0,1) & √{square root over ( α y _(0,2) to y₀, and the message point is given by (x_(0,m), x_(1,m), . . . , x_(nx,m), √{square root over ( αy_(0,m), y_(1,m), . . . , y_(ny,m)).
 5. The method of generating cryptographic hash functions as recited in claim 4, wherein the assignment of solutions in the method of embedding includes assignment of solutions using a predetermined public method.
 6. The method of generating cryptographic hash functions as recited in claim 5, wherein the step of embedding further includes the step of denoting the message point as (x_(0,m), x_(1,m), . . . , x_(nx,m), √{square root over (α)}y_(0,m), y_(1,m), . . . , y_(ny,m)), wherein the point is on the elliptic polynomial if α_(m) _(i) =1, and the point is on the twist if α_(m) _(i) = α.
 7. A method of generating cryptographic hash functions in an electronic communications system using elliptic polynomial cryptography, comprising the steps of: a) generating a set of hash function parameters, including the steps of: b) establishing an ((nx+1)+(ny+1))-dimensional Cartesian coordinates system having orthogonal coordinates x₀, x₁, . . . , x_(nx), y₀, y₁, . . . , y_(ny) defined over a finite field F, such that x₀, x₁, . . . , x_(nx), y₀, y₁, . . . , y_(ny)∈F, wherein nx and ny are integers establishing an integer number N, wherein the values of the elements of F can be represented in N-bits strings, an elliptic polynomial EC^(nx+ny+2) and a twist of the elliptic polynomial TEC^(nx+ny+2); c) specifying values of nx and ny, and a set of coefficients a_(1k), a_(2kl), a_(3k), c_(1lki), c_(2kl), c_(3kli), b_(1l), b_(2lk), b_(3lk), b_(4k), b_(c)∈F, along with a base point on an elliptic polynomial (x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B))∈EC^(xn+ny+2) and a base point on the twist of the elliptic polynomial (x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB))∈TEC^(xn+ny+2); (d) disclosing the values of nx and ny, the set of coefficients, the base point on the elliptic polynomial and the base point on the twist as public information; (e) selecting a pair of random number scalars k₁, k₂ which are kept secret for a specific hash function to be used; (f) computing the multiplication of the scalar k₁ with a point (x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B)) to obtain a scalar multiplication such that (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu))=k₁(x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B)); (g) computing the multiplication of the scalar k₂ with a point (x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB)) to obtain a scalar multiplication such that (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu))=k₁(x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB)); (h) disclosing the scalar multiplication points (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu)) and (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu)) as public information; (i) generating a hash bit string of the message bit string, including: (j) pre-processing the message bit string to obtain a bit string which is a multiple of (nx+ny+1)N-bit; (k) computing an initial hash point (x_(0,S) ₁ , x_(1,S) ₁ , . . . , x_(nx,S) ₁ , y_(0,S) ₁ , y_(1,S) ₁ , . . . , x_(ny,S) ₁ ) on the elliptic polynomial by multiplying a scalar integer value k_(m) ₀ of the (nx+ny+1)N-bit string of an initial block of the message bit string with a point (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu)) such that: (x _(0,S) ₁ , x _(1,S) ₁ , . . . , x _(nx,S) ₁ , y _(0,S) ₁ , y _(1,S) ₁ , . . . , y _(ny,S) ₁ )=k_(m) ₀ (x _(0,Pu) , x _(1,Pu) , . . . , x _(nx,Pu) , y _(0,Pu) , y _(1,Pu) , . . . , y _(ny,Pu)); (l) computing an initial hash point (x_(0,TS) ₁ , x_(1,TS) ₁ , . . . , x_(nx,TS) ₁ , √{square root over ( αy_(0,TS) ₁ , y_(1,TS) ₁ , . . . , y_(ny,TS) ₁ ) on the twist of the elliptic polynomial by multiplying a scalar integer value k_(m) ₁ of the (nx+ny+1)N-bit string of the next block of the message bit string with a point (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu)) such that: (x_(0,TS) ₁ , x_(1,TS) ₁ , . . . , x_(nx,TS) ₁ , √{square root over ( αy_(0,TS) ₁ , y_(1,TS) ₁ , . . . , y_(ny,TS) ₁ )=k_(m) ₁ (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu)); m) initializing the hash points such that (x _(0,c) ₁ , x _(1,c) ₁ , . . . , x _(nx,c) ₁ , y _(0,c) ₁ , y _(1,c) ₁ , . . . , y _(ny,c) ₁ )=(x _(0,S) ₁ , x _(1,S) ₁ , . . . , x _(nx,S) ₁ , y _(0,S) ₁ , y _(1,S) ₁ , . . . , x _(ny,S) ₁ ), and (x_(0,Tc) ₁ , x_(1,Tc) ₁ , . . . , x_(nx,Tc) ₁ , √{square root over ( αy_(0,Tc) ₁ , y_(1,Tc) ₁ , . . . , y_(ny,Tc) ₁ )=(x_(0,TS) _(i) , x_(1,TS) _(i) , . . . , x_(nx,TS) _(i) , √{square root over ( αy_(0,TS) _(i) , y_(1,TS) _(i) , . . . , x_(ny,TS) _(i) ) n) establishing an integer value i with an initial value of i=2, and repeating the following steps o) through q) until all of the message data blocks are processed, and incrementing i at each step: o) embedding a (nx+ny+1)N-bit string of the i^(th) block of the message bit string into (nx+1) x-coordinates X₀, x₁, . . . , x_(nx) and ny y-coordinates y₁, . . . , y_(ny) of the elliptic message point (x_(0,m) _(i) , x_(1,m) _(i) , . . . , x_(nx,m) _(i) , √{square root over ( α_(m) _(i) y_(0,m) _(i) , y_(1,m) _(i) , . . . , y_(ny,m) _(i) ) using non-iterative embedding; p) doubling the points (x_(0,S) _(i) , x_(1,S) _(i) , . . . , x_(nx,S) _(i) , y_(0,S) _(i) , y_(1,S) _(i) , . . . , x_(ny,S) _(i) ) and (x_(0,TS) _(i) , x_(1,TS) _(i) , . . . , x_(nx,TS) _(i) , √{square root over ( αy_(0,TS) _(i) , y_(1,TS) _(i) , . . . , x_(ny,TS) _(i) )=2(x_(0,TS) _(i-1) , x_(1,TS) _(i-1) , . . . , x_(nx,TS) _(i-1) , √{square root over ( αy_(0,TS) _(i-1) , y_(1,TS) _(i-1) , . . . , x_(ny,TS) _(i-1) ); q) if the message point of the i^(th) block is on the elliptic polynomial, then the hash points are computed using: (x_(0,c) _(i) , x_(1,c) _(i) , . . . , x_(nx,c) _(i) , y_(0,c) _(i) , y_(1,c) _(i) , . . . , y_(ny,c) _(i) )=(x_(0,m) _(i) , x_(1,m) _(i) , . . . , x_(nx,m) _(i) , y_(0,m) _(i) , y_(1,m) _(i) , . . . , y_(ny,m) _(i) )+(x_(0,S) _(i) , x_(1,S) _(i) , . . . , x_(nx,S) _(i) , y_(0,S) _(i) , y_(1,S) _(i) , . . . , x_(ny,S) _(i) )+(x_(0,m) _(i-1) , x_(1,m) _(i-1) , . . . , x_(nx,m) _(i-1) , y_(0,m) _(i-1) , y_(1,m) _(i-1) , . . . , x_(ny,m) _(i-1) ) and (x_(0,Tc) _(i) , x_(1,Tc) _(i) , . . . , x_(nx,Tc) _(i) , √{square root over ( αy_(0,Tc) _(i) , y_(1,Tc) _(i) , . . . , y_(ny,Tc) _(i) )=(x_(0,Tc) _(i-1) , x_(1,Tc) _(i-1) , . . . , x_(nx,Tc) _(i-1) , √{square root over ( αy_(0,Tc) _(i-1) , y_(1,Tc) _(i-1) , . . . , x_(ny,Tc) _(i-1) ), otherwise, they are computed using: (x _(0,Tc) _(i) , x _(1,Tc) _(i) , . . . , x _(nx,Tc) _(i) , √{square root over ( αy _(0,Tc) _(i) , y _(1,Tc) _(i) , . . . , y _(ny,Tc) _(i) )=(x _(0,m) _(i) , x _(1,m) _(i) , . . . , x _(nx,m) _(i) , √{square root over ( αy _(0,m) _(i) , y _(1,m) _(i) , . . . , y _(ny,m) _(i) )+(x _(0,TS) _(i) , x _(1,TS) _(i) , . . . , x _(nx,TS) _(i) , √{square root over ( αy _(0,TS) _(i) , y _(1,TS) _(i) , . . . , x _(ny,TS) _(i) )+(x _(0,m) _(i-1) , x _(1,m) _(i-1) , . . . , x _(nx,m) _(i-1) , √{square root over ( αy _(0,m) _(i-1) , y _(1,m) _(i-1) , . . . , x _(ny,m) _(i-1) ) and (x_(0,c) _(i) , x_(1,c) _(i) , . . . , x_(nx,c) _(i) , y_(0,c) _(i) , y_(1,c) _(i) , . . . , y_(ny,c) _(i) )=(x_(0,c) _(i-1) , x_(1,c) _(i-1) , . . . , x_(nx,c) _(i-1) , y_(0,c) _(i-1) , y_(1,c) _(i) , . . . , x_(ny,c) _(i-1) ) and r) concatenating the appropriate bits of the x-coordinates x_(0,c), x_(1,c), . . . , x_(nx,c), the y-coordinates y_(1,c), . . . , y_(nx,c) and a sign bit of y_(0,c) of the hash point (x_(0,c) _(u) , x_(1,c) _(u) , . . . , x_(nx,c) _(u) , y_(0,c) _(u) , y_(1,c) _(u) , . . . , y_(ny,c) _(u) ), and the appropriate bits of the x-coordinates x_(0,Tc, x) _(1,Tc, . . . , x) _(nx,Tc), the y-coordinates y_(1,Tc, . . . , y) _(ny,Tc) and a sign bit of y_(0,Tc) of the hash point (x_(0,Tc) _(u) , x_(1,Tc) _(u) , . . . , x_(nx,Tc) _(u) , √{square root over ( αy_(0,Tc) _(u) , y_(1,Tc) _(u) , . . . , y_(ny,Tc) _(u) ) to form the hash bit string.
 8. The method of generating cryptographic hash functions as recited in claim 7, wherein the maximum block size that can be embedded into the (nx+1) x-coordinates and the ny y-coordinates is (nx+ny+1)N bits.
 9. The method of generating cryptographic hash functions as recited in claim 8, wherein the number of (nx+ny+1)N bit blocks in the message bit string is (u+1).
 10. The method of generating cryptographic hash functions as recited in claim 9, wherein said step of embedding comprises the steps of: a) establishing integers M and L, and dividing the message bit string into M-bit strings such that ((nx+ny+1)N−L)>M>(N−L); b) dividing each M-bit string into (nx+ny+1) strings mx₀, mx₁, . . . , mx_(nx), my₁, . . . , my_(ny), wherein the length of the string mx₀ is less than or equal to (N−L) bits, and the length of each of the remaining (nx+ny) strings mx₁, . . . , mx_(nx), my₁, . . . , my_(ny) are each less than or equal to N bits, wherein each one of the (nx+ny+1) bit strings has an equivalent value which is an element of the finite field F; c) assigning the value of the bit strings of mx₁, . . . , mx_(nx) to x₁, . . . , x_(nx); d) assigning the value of the bit strings of my₁, . . . , my_(ny) to y₁, . . . , y_(ny); e) assigning the value of the bit string of mx₀ to x₀; f) substituting the values of x₀, x₁, . . . , x_(nx) and y₁, . . . , y_(ny) in the selected elliptic polynomial equation with (nx+1) x-coordinates and (ny+1) y-coordinates to form a quadratic equation in y₀ of the form y₀ ²+Ay₀+B=0, wherein A and B are variables; and g) if the quadratic equation in y₀ has solutions y _(0,1), y _(0,2) where the solutions are elements of the finite field F, then assigning one of the solutions to y₀, and the message point is given by (x_(0,m), x_(1,m), . . . , x_(nx,m), y_(0,m), y_(1,m), . . . , y_(ny,m)), otherwise, assigning one of the solutions √{square root over ( α y _(0,1) & √{square root over ( α y _(0,2) to y₀, and the message point is given by (x_(0,m), x_(1,m), . . . , x_(nx,m), √{square root over ( αy_(0,m), y_(1,m), . . . , y_(ny,m)).
 11. The method of generating cryptographic hash functions as recited in claim 10, wherein the assignment of solutions in the method of embedding includes assignment of solutions using a predetermined public method.
 12. The method of generating cryptographic hash functions as recited in claim 11, wherein the step of embedding further includes the step of denoting the message point as (x_(0,m), x_(1,m), . . . , x_(nx,m), √{square root over (α)}y_(0,m), y_(1,m), . . . , y_(ny,m)), wherein the point is on the elliptic polynomial if α_(m) _(i) =1, and the point is on the twist if α_(m) _(i) = α.
 13. A method of generating cryptographic hash functions using elliptic polynomial cryptography in an electronic communication system, comprising the steps of: a) generating a set of hash function parameters, comprising the steps of: b) establishing an ((nx+1)+(ny+1))-dimensional Cartesian coordinates system having orthogonal coordinates x₀, x₁, . . . , x_(nx), y₀, y₁, . . . , y_(ny) defined over a finite field F, such that x₀, x₁, . . . , x_(nx), y₀, y₁, . . . , y_(ny)∈F, wherein nx and ny are integers establishing an integer number N, wherein the values of the elements of F can be represented in N-bits strings, an elliptic polynomial EC^(nx+ny+2) and a twist of the elliptic polynomial TEC^(nx+ny+2); c) specifying values of nx and ny, and a set of coefficients a_(1k), a_(2kl), a_(3k), c_(1lki), c_(2kl), c_(3kli), b_(1l), b_(2lk), b_(3lk), b_(4k), b_(c)∈F, along with a base point on an elliptic polynomial (x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B))∈EC^(xn+ny+2) and a base point on the twist of the elliptic polynomial (x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB))∈TEC^(xn+ny+2); (d) disclosing the values of nx and ny, the set of coefficients, the base point on the elliptic polynomial and the base point on the twist as public information; (e) selecting a pair of random number scalars k₁, k₂ which are kept secret for a specific hash function to be used; (f) computing the multiplication of the scalar k₁ with a point (x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B)) to obtain a scalar multiplication such that: (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu))=k₁(x_(0,B), x_(1,B), . . . , x_(nx,B), y_(0,B), y_(1,B), . . . , y_(ny,B)); (g) computing the multiplication of the scalar k₂ with a point (x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB)) to obtain a scalar multiplication such that (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu))=k₁(x_(0,TB), x_(1,TB), . . . , x_(nx,TB), √{square root over ( αy_(0,B), y_(1,TB), . . . , y_(ny,TB)); (h) disclosing the scalar multiplication points (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu)) and (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu)) as public information; i) establishing an integer i and a parameter S_(mi) to represent the (nx+ny+1)N-bit string of the i^(th) message block, and selecting an initial vector S_(M1) to be made public; j) generating a hash bit string of the message bit string, comprising the following steps: k) pre-processing the message bit string to obtain a bit string which is a multiple of (nx+ny+1)N-bits; l) computing a point (x_(0,S) ₁ , x_(1,S) ₁ , . . . , x_(nx,S) ₁ , y_(0,S) ₁ , y_(1,S) ₁ , . . . , x_(ny,S) ₁ ) on the elliptic polynomial by multiplying a scalar integer value k_(m) ₀ of the (nx+ny+1)N-bit string of an initial block of the message bit string with a point (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu)) such that (x_(0,S) ₁ , x_(1,S) ₁ , . . . , x_(nx,S) ₁ , y_(0,S) ₁ , y_(1,S) ₁ , . . . , y_(ny,S) ₁ )=k_(m) ₀ (x_(0,Pu), x_(1,Pu), . . . , x_(nx,Pu), y_(0,Pu), y_(1,Pu), . . . , y_(ny,Pu)); m) computing a point an initial hash point (x_(0,TS) ₁ , x_(1,TS) ₁ , . . . , x_(nx,TS) ₁ , √{square root over ( αy_(0,TS) ₁ , y_(1,TS) ₁ , . . . , y_(ny,TS) ₁ ) on the twist of the elliptic polynomial by multiplying a scalar integer value k_(m) ₁ of the (nx+ny+1)N-bit string of the next block of the message with a point (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu)) such that (x_(0,TS) ₁ , x_(1,TS) ₁ , . . . , x_(nx,TS) ₁ , √{square root over ( αy_(0,TS) ₁ , y_(1,TS) ₁ , . . . , y_(ny,TS) ₁ )=k_(m) ₁ (x_(0,TPu), x_(1,TPu), . . . , x_(nx,TPu), √{square root over ( αy_(0,TPu), y_(1,TPu), . . . , y_(ny,TPu)); n) initializing the hash points as (x _(0,c) ₁ , x _(1,c) ₁ , . . . , x _(nx,c) ₁ , y _(0,c) ₁ , y _(1,c) ₁ , . . . , y _(ny,c) ₁ )=+(x _(0,S) ₁ , x _(1,S) ₁ , . . . , x _(nx,S) ₁ , y _(0,S) ₁ , y _(1,S) ₁ , . . . , x _(ny,S) ₁ ), and (x _(0,Tc) ₁ , x _(1,Tc) ₁ , . . . , x _(nx,Tc) ₁ , √{square root over ( αy _(0,Tc) ₁ , y _(1,Tc) ₁ , . . . , y _(ny,Tc) ₁ )=(x _(0,TS) ₁ , x _(1,TS) ₁ , . . . , x _(nx,TS) ₁ , √{square root over ( αy _(0,TS) ₁ , y _(1,TS) ₁ , . . . , y _(ny,TS) ₁ ); o) establishing an integer value i and initializing the integer i as i=2, and repeating the following steps p) through s) until all of the message data blocks are processed, and incrementing fat each step: p) computing the (nx+ny+1)N-bit string S_(m) _(i) ′ as S_(m) _(i) ′=S_(m) _(i) ⊕S_(m) _(i-1) ; q) embedding a (nx+ny+1)N-bit string S_(mi)′ of the i^(th) block of the message bit string into (nx+1) x-coordinates X₀, x₁, . . . , x_(nx) and ny y-coordinates y₁, . . . , y_(ny) of the elliptic message point (x_(0,m) _(i) , x_(1,m) _(i) , . . . , x_(nx,m) _(i) , √{square root over (α_(m) _(i) )}y_(0,m) _(i) , y_(1,m) _(i) , . . . , y_(ny,m) _(i) ) using non-iterative embedding; r) doubling the points (x_(0,S) _(i) , x_(1,S) _(i) , . . . , x_(nx,S) _(i) , y_(0,S) _(i) , y_(1,S) _(i) , . . . , x_(ny,S) _(i) ) and (x_(0,TS) _(i) , x_(1,TS) _(i) , . . . , x_(nx,TS) _(i) , √{square root over ( αy_(0,TS) _(i) , y_(1,TS) _(i) , . . . , x_(ny,TS) _(i) ), such that: (x _(0,S) _(i) , x _(1,S) _(i) , . . . , x _(nx,S) _(i) , y _(0,S) _(i) , y _(1,S) _(i) , . . . , x _(ny,S) _(i) )=2(x _(0,S) _(i-1) , x _(1,S) _(i-1) , . . . , x _(nx,S) _(i-1) , y _(0,S) _(i-1) , y _(1,S) _(i-1) , . . . , x _(ny,S) _(i-1) ) and (x_(0,TS) _(i) , x_(1,TS) _(i) , . . . , x_(nx,TS) _(i) , √{square root over ( αy_(0,TS) _(i) , y_(1,TS) _(i) , . . . , x_(ny,TS) _(i) )=2(x_(0,TS) _(i-1) , x_(1,TS) _(i-1) , . . . , x_(nx,TS) _(i-1) , √{square root over ( αy_(0,TS) _(i-1) , y_(1,TS) _(i-1) , . . . , x_(ny,TS) _(i-1) ); s) if the message point of the i^(th) block is on the elliptic polynomial, then the hash points are computed using: (x_(0,c) _(i) , x_(1,c) _(i) , . . . , x_(nx,c) _(i) , y_(0,c) _(i) , y_(1,c) _(i) , . . . , y_(ny,c) _(i) )=(x_(0,m) _(i) , x_(1,m) _(i) , . . . , x_(nx,m) _(i) , y_(0,m) _(i) , y_(1,m) _(i) , . . . , y_(ny,m) _(i) )+(x_(0,S) _(i) , x_(1,S) _(i) , . . . , x_(nx,S) _(i) , y_(0,S) _(i) , y_(1,S) _(i) , . . . , x_(ny,S) _(i) )+(x_(0,m) _(i-1) , x_(1,m) _(i-1) , . . . , x_(nx,m) _(i-1) , y_(0,m) _(i-1) , y_(1,m) _(i-1) , . . . , x_(ny,m) _(i-1) ) and (x_(0,Tc) _(i) , x_(1,Tc) _(i) , . . . , x_(nx,Tc) _(i) , √{square root over ( αy_(0,Tc) _(i) , y_(1,Tc) _(i) , . . . , y_(ny,Tc) _(i) )=(x_(0,Tc) _(i-1) , x_(1,Tc) _(i-1) , . . . , x_(nx,Tc) _(i-1) , √{square root over ( αy_(0,Tc) _(i-1) , y_(1,Tc) _(i-1) , . . . , x_(ny,Tc) _(i-1) ), otherwise, they are computed using: (x _(0,Tc) _(i) , x _(1,Tc) _(i) , . . . , x _(nx,Tc) _(i) , √{square root over ( αy _(0,Tc) _(i) , y _(1,Tc) _(i) , . . . , y _(ny,Tc) _(i) )=(x _(0,m) _(i) , x _(1,m) _(i) , . . . , x _(nx,m) _(i) , √{square root over ( αy_(0,m) _(i) , y _(1,m) _(i) , . . . , y _(ny,m) _(i) )+(x _(0,TS) _(i) , x _(1,TS) _(i) , . . . , x _(nx,TS) _(i) , √{square root over ( αy _(0,TS) _(i) , y _(1,TS) _(i) , . . . , x _(ny,TS) _(i) )+(x _(0,m) _(i-1) , x _(1,m) _(i-1) , . . . , x _(nx,m) _(i-1) , √{square root over ( αy _(0,m) _(i-1) , y _(1,m) _(i-1) , . . . , √y _(ny,m) _(i-1) ) and (x_(0,c) _(i) , x_(1,c) _(i) , . . . , x_(nx,c) _(i) , y_(0,c) _(i) , y_(1,c) _(i) , . . . , y_(ny,c) _(i) )=(x_(0,c) _(i-1) , x_(1,c) _(i-1) , . . . , x_(nx,c) _(i-1) , y_(0,c) _(i-1) , y_(1,c) _(i) , . . . , x_(ny,c) _(i-1) );  and t) concatenating the appropriate bits of the x-coordinates x_(0,c), x_(1,c), . . . , x_(nx,c), the y-coordinates y_(1,c), . . . , y_(nx,c) and a sign bit of y_(0,c) of the hash point (x_(0,c) _(u) , x_(1,c) _(u) , . . . , x_(nx,c) _(u) , y_(0,c) _(u) , y_(1,c) _(u) , . . . , y_(ny,c) _(u) ), and the appropriate bits of the x-coordinates x_(0,Tc, x) _(1,Tc, . . . , x) _(nx,Tc), the y-coordinates y_(1,Tc, . . . , y) _(ny,Tc) and a sign bit of y_(0,Tc) of the hash point (x_(0,Tc) _(u) , x_(1,Tc) _(u) , . . . , x_(nx,Tc) _(u) , √{square root over ( αy_(0,Tc) _(u) , y_(1,Tc) _(u) , . . . , y_(ny,Tc) _(u) ) to form the hash bit string.
 14. The method of generating cryptographic hash functions as recited in claim 13, wherein the maximum block size that can be embedded into the (nx+1) x-coordinates and the ny y-coordinates is (nx+ny+1)N bits.
 15. The method of generating cryptographic hash functions as recited in claim 14, wherein the number of (nx+ny+1)N bit blocks in the message bit string is (u+1).
 16. The method of generating cryptographic hash functions as recited in claim 15, wherein said step of embedding comprises the steps of: a) establishing integers M and L, and dividing the message bit string into M-bit strings such that ((nx+ny+1)N−L)>M>(N−L); b) dividing each M-bit string into (nx+ny+1) strings mx₀, mx₁, . . . , mx_(nx), my₁, . . . , my_(ny), wherein the length of the string mx₀ is less than or equal to (N−L) bits, and the length of each of the remaining (nx+ny) strings mx₁, . . . , mx_(nx), my₁, . . . , my_(ny) are each less than or equal to N bits, wherein each one of the (nx+ny+1) bit strings has an equivalent value which is an element of the finite field F; c) assigning the value of the bit strings of mx₁, . . . , mx_(nx) to x₁, . . . , x_(nx); d) assigning the value of the bit strings of my₁, . . . , my_(ny) to y₁, . . . , y_(ny); e) assigning the value of the bit string of mx₀ to x₀; f) substituting the values of x₀, x₁, . . . , x_(nx) and y₁, . . . , y_(ny) in the selected elliptic polynomial equation with (nx+1) x-coordinates and (ny+1) y-coordinates to form a quadratic equation in y₀ of the form y₀ ²+Ay₀+B=0, wherein A and B are variables; and g) if the quadratic equation in y₀ has solutions y _(0,1), y _(0,2) where the solutions are elements of the finite field F, then assigning one of the solutions to y₀, and the message point is given by (x_(0,m), x_(1,m), . . . , x_(nx,m), y_(0,m), y_(1,m), . . . , y_(ny,m)), otherwise, assigning one of the solutions √{square root over ( α y _(0,1) & √{square root over ( α y _(0,2) to y₀, and the message point is given by (x_(0,m), x_(1,m), . . . , x_(nx,m), √{square root over ( αy_(0,m), y_(1,m), . . . , y_(ny,m)).
 17. The method of generating cryptographic hash functions as recited in claim 16, wherein the assignment of solutions in the method of embedding includes assignment of solutions at random.
 18. The method of generating cryptographic hash functions as recited in claim 17, wherein the step of embedding further includes the step of denoting the message point as (x_(0,m), x_(1,m), . . . , x_(nx,m), √{square root over (α)}y_(0,m), y_(1,m), . . . , y_(ny,m)), wherein the point is on the elliptic polynomial if α_(m) _(i) =1, and the point is on the twist if α_(m) _(i) = α. 